How nice are free completions of categories?
Category Theory
2020-12-04 v4
Abstract
Every category has a free completion under colimits and a free completion under coproducts. A number of properties of transfer to and (e.g., completeness or cartesian closedness). We prove that is always a pretopos, but, for large, seldom a topos. Moreover, for complete categories we prove that is locally cartesian closed whenever is additive or cartesian closed or dual to an extensive category. We also study the question whether is (co)wellpowered. The answer is affirmative for "set-like" categories. But for a number of categories the answer turns out to be negative.
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}
}