Set-theoretic aspects of accessible categories

An accessible category is, roughly, a category with all sufficiently directed colimits, in which every object can be resolved as a directed system of "small" subobjects. Such categories admit a purely category-theoretic replacement for cardinality: the internal size. Generalizing results and methods from arXiv:1708.06782, we examine set-theoretic problems related to... Show more