English

How nice are free completions of categories?

Category Theory 2020-12-04 v4

Abstract

Every category K\mathcal K has a free completion PK\mathcal P \mathcal K under colimits and a free completion ΣK\Sigma\mathcal K under coproducts. A number of properties of K\mathcal K transfer to PK\mathcal P \mathcal K and ΣK\Sigma\mathcal K (e.g., completeness or cartesian closedness). We prove that PK\mathcal P\mathcal K is always a pretopos, but, for K\mathcal K large, seldom a topos. Moreover, for complete categories K\mathcal K we prove that PK\mathcal P\mathcal K is locally cartesian closed whenever K\mathcal K is additive or cartesian closed or dual to an extensive category. We also study the question whether PK\mathcal P \mathcal K is (co)wellpowered. The answer is affirmative for "set-like" categories. But for a number of categories K\mathcal K the answer turns out to be negative.

Keywords

Cite

@article{arxiv.1806.02524,
  title  = {How nice are free completions of categories?},
  author = {Jiří Adámek and Jiří Rosický},
  journal= {arXiv preprint arXiv:1806.02524},
  year   = {2020}
}