TY - JOUR
T1 - A classification of accessible categories
AU - Adámek, Jiří
AU - Borceux, Francis
AU - Lack, Stephen
AU - Rosický, Jiří
PY - 2002/11/8
Y1 - 2002/11/8
N2 - For a suitable collection D of small categories, we define the D-accessible categories, generalizing the λ-accessible categories of Lair, Makkai, and Paré; here the λ-accessible categories are seen as the D-accessible categories where D consists of the λ-small categories. A small category C is called D-filtered when C-colimits commute with D-limits in the category of sets. An object of a category is called D-presentable when the corresponding representable functor preserves D-filtered colimits. The D-accessible categories are then the categories with D-filtered colimits and a small set of D-presentable objects which is "dense with respect to D-filtered colimits". We suppose always that D satisfies a technical condition called "soundness": this is the "suitable" case mentioned above. Every D-accessible category is accessible; thus the choice of different sound D provides a classification of accessible categories, as referred to in the title. A surprising number of the main results from the theory of accessible categories remain valid in the D-accessible context. The locally D-presentable categories are defined as the cocomplete D-accessible categories. When D consists of the finite categories, these are precisely the locally finitely presentable categories of Gabriel and Ulmer. When D consists of the finite discrete categories, these are the finitary varieties. As a by-product of this theory, we prove that the free completion under D-filtered colimits distributes over the free completion under limits. This result is new, even in the case where D is empty and D-filtered colimits are just arbitrary (small) colimits.
AB - For a suitable collection D of small categories, we define the D-accessible categories, generalizing the λ-accessible categories of Lair, Makkai, and Paré; here the λ-accessible categories are seen as the D-accessible categories where D consists of the λ-small categories. A small category C is called D-filtered when C-colimits commute with D-limits in the category of sets. An object of a category is called D-presentable when the corresponding representable functor preserves D-filtered colimits. The D-accessible categories are then the categories with D-filtered colimits and a small set of D-presentable objects which is "dense with respect to D-filtered colimits". We suppose always that D satisfies a technical condition called "soundness": this is the "suitable" case mentioned above. Every D-accessible category is accessible; thus the choice of different sound D provides a classification of accessible categories, as referred to in the title. A surprising number of the main results from the theory of accessible categories remain valid in the D-accessible context. The locally D-presentable categories are defined as the cocomplete D-accessible categories. When D consists of the finite categories, these are precisely the locally finitely presentable categories of Gabriel and Ulmer. When D consists of the finite discrete categories, these are the finitary varieties. As a by-product of this theory, we prove that the free completion under D-filtered colimits distributes over the free completion under limits. This result is new, even in the case where D is empty and D-filtered colimits are just arbitrary (small) colimits.
UR - http://www.scopus.com/inward/record.url?scp=0037044683&partnerID=8YFLogxK
U2 - 10.1016/S0022-4049(02)00126-3
DO - 10.1016/S0022-4049(02)00126-3
M3 - Article
AN - SCOPUS:0037044683
VL - 175
SP - 7
EP - 30
JO - Journal of Pure and Applied Algebra
JF - Journal of Pure and Applied Algebra
SN - 0022-4049
IS - 1-3
ER -