The theory of '''accessible categories''' is a part of mathematics, specifically of category theory. It attempts to describe categories in terms of the "size" (a cardinal number) of the operations needed to generate their objects.
The theory originates in the work of Grothendieck completed by 1969,<ref> {{Citation | last = Grothendieck | first = Alexander | title = Théorie des Topos et Cohomologie Étale des Schémas | publisher = Springer | series = Lecture Notes in Mathematics 269 | year = 1972|display-authors=etal}} </ref> and Gabriel and Ulmer (1971).<ref> {{Citation | last = Gabriel | first = P | last2 = Ulmer | first2 = F | title = Lokal Präsentierbare Kategorien | publisher = Springer | series = Lecture Notes in Mathematics 221 | year = 1971}} </ref> It has been further developed in 1989 by Michael Makkai and Robert Paré, with motivation coming from model theory, a branch of mathematical logic.<ref> {{Citation | last = Makkai | first = Michael | last2 = Paré | first2 = Robert | title = Accessible categories: The foundation of Categorical Model Theory | publisher = AMS | series = Contemporary Mathematics | year = 1989 | isbn = 0-8218-5111-X }} </ref> A standard text book by Adámek and Rosický appeared in 1994.<ref name=""AdámekRosický"">{{cite book | last=Adámek | first=Jiří | last2=Rosický | first2=Jiří | title=Locally Presentable and Accessible Categories | publisher=Cambridge University Press | date=10 March 1994 | isbn=978-0-521-42261-1 | doi=10.1017/cbo9780511600579 }}</ref> Accessible categories also have applications in homotopy theory.<ref name="ref1">J. Rosický [https://arxiv.org/abs/0708.2185 "On combinatorial model categories"], ''arXiv'', 16 August 2007. Retrieved on 19 January 2008.</ref><ref name="ref3">Rosický, J. "Injectivity and accessible categories." ''Cubo Matem. Educ'' 4 (2002): 201-211.</ref> Grothendieck continued the development of the theory for homotopy-theoretic purposes in his (still partly unpublished) 1991 manuscript ''Les dérivateurs''.<ref> {{Citation | last = Grothendieck | first = Alexander | title = Les dérivateurs | publisher = manuscript | series = Contemporary Mathematics | year = 1991}} ([https://web.archive.org/web/20071024032414/http://www.institut.math.jussieu.fr/~maltsin/groth/Derivateurs.html Les Dérivateurs: Texte d'Alexandre Grothendieck. Édité par M. Künzer, J. Malgoire, G. Maltsiniotis]) </ref> Some properties of accessible categories depend on the set universe in use, particularly on the cardinal properties and Vopěnka's principle.<ref name="ref2">Adamek/Rosický 1994, chapter 6</ref>
=={{mvar|κ}}-directed colimits and {{mvar|κ}}-presentable objects== Let <math>\kappa</math> be an infinite regular cardinal, i.e. a cardinal number that is not the sum of a smaller number of smaller cardinals; examples are <math>\aleph _{0}</math> (aleph-0), the first infinite cardinal number, and <math>\aleph_{1} </math>, the first uncountable cardinal). A partially ordered set <math>(I, \leq) </math> is called '''<math>\kappa</math>-directed''' if every subset <math>J </math> of <math>I </math> of cardinality less than <math>\kappa</math> has an upper bound in <math>I </math>. In particular, the ordinary directed sets are precisely the <math>\aleph_0</math>-directed sets.
Now let <math>C</math> be a category. A direct limit (also known as a directed colimit) over a <math>\kappa</math>-directed set <math>(I, \leq) </math> is called a '''<math>\kappa</math>-directed colimit'''. An object <math>X</math> of <math>C</math> is called <math>\kappa</math>'''-presentable''' if the Hom functor <math>\operatorname{Hom}(X,-)</math> preserves all <math>\kappa</math>-directed colimits in <math>C</math>. It is clear that every <math>\kappa</math>-presentable object is also <math>\kappa'</math>-presentable whenever <math>\kappa\leq\kappa'</math>, since every <math>\kappa'</math>-directed colimit is also a <math>\kappa</math>-directed colimit in that case. A <math>\aleph_0</math>-presentable object is called '''finitely presentable'''.
===Examples=== *In the category '''Set''' of all sets, the finitely presentable objects coincide with the finite sets. The <math>\kappa</math>-presentable objects are the sets of cardinality smaller than <math>\kappa</math>. *In the category of all groups, an object is finitely presentable if and only if it is a finitely presented group, i.e. if it has a presentation with finitely many generators and finitely many relations. For uncountable regular <math>\kappa</math>, the <math>\kappa</math>-presentable objects are precisely the groups with cardinality smaller than <math>\kappa</math>. *In the category of left <math>R</math>-modules over some (unitary, associative) ring <math>R</math>, the finitely presentable objects are precisely the finitely presented modules.
=={{Anchor|locally_presentable}} {{mvar|κ}}-accessible and locally presentable categories== The category <math>C</math> is called '''<math>\kappa</math>-accessible''' provided that:
* <math>C</math> has all <math>\kappa</math>-directed colimits * <math>C</math> contains a set <math>P</math> of <math>\kappa</math>-presentable objects such that every object of <math>C</math> is a <math>\kappa</math>-directed colimit of objects of <math>P</math>.
An <math>\aleph_0</math>-accessible category is called '''finitely accessible'''. A category is called '''accessible''' if it is <math>\kappa</math>-accessible for some infinite regular cardinal <math>\kappa</math>. When an accessible category is also cocomplete, it is called '''locally presentable'''.
A functor <math>F : C \to D</math> between <math>\kappa</math>-accessible categories is called '''<math>\kappa</math>-accessible''' provided that <math>F</math> preserves <math>\kappa</math>-directed colimits.
===Examples===
* The category '''Set''' of all sets and functions is locally finitely presentable, since every set is the direct limit of its finite subsets, and finite sets are finitely presentable. * The category <math>R</math>-Mod of (left) <math>R</math>-modules is locally finitely presentable for any ring <math>R</math>. * The category of simplicial sets is finitely accessible. * The category Mod(T) of models of some first-order theory T with countable signature is <math>\aleph_1</math> -accessible. <math>\aleph_1</math> -presentable objects are models with a countable number of elements. * Further examples of locally presentable categories are finitary algebraic categories (i.e. the categories corresponding to varieties of algebras in universal algebra) and Grothendieck categories.
==Theorems== One can show that every locally presentable category is also complete.<ref>Adamek/Rosický 1994, remark 1.56</ref> Furthermore, a category is locally presentable if and only if it is equivalent to the category of models of a limit sketch.<ref>Adamek/Rosický 1994, corollary 1.52</ref>
Adjoint functors between locally presentable categories have a particularly simple characterization. A functor <math>F : C \to D</math> between locally presentable categories:
* is a left adjoint if and only if it preserves small colimits, * is a right adjoint if and only if it preserves small limits and is accessible.
==Notes== {{reflist}}
==References== {{refbegin}} *{{cite book | last=Adámek | first=J. | last2=Rosický | first2=J. | title=Locally Presentable and Accessible Categories | publisher=Cambridge University Press | date=10 March 1994 | isbn=978-0-521-42261-1 | doi=10.1017/cbo9780511600579 }} {{refend}}
== See also == *accessible ∞-category
Category:Category theory