nLab
accessible category

Contents

Idea

An accessible category is a possibly large category which is however essentially determined by a small category, in a certain way.

Definition

Definition

A locally small category C is accessible if for some regular cardinal κ:

  1. the category has κ-directed colimits (or, equivalently, κ-filtered colimits), and

  2. there is a set of κ-compact objects that generate the category under κ-directed colimits.

If C satisfies these properties for some κ, we say that it is κ-accessible.

Remark

Unlike for locally presentable categories, it does not follow that if C is κ-accessible and κ<λ then C is also λ-accessible. It is true, however, that for any accessible category, there are arbitrarily large cardinals λ such that C is λ-accessible.

Proposition

Equivalent characterizations include that C is accessible iff:

  • it is the category of models (in Set) of some small sketch.

  • it is of the form Ind κ(S) for S small, i.e. the κ-ind-completion of a small category, for some κ.

  • it is of the form κFlat(S) for S small and some κ, i.e. the category of κ-flat functors from some small category to Set.

  • it is the category of models (in Set) of a suitable type of logical theory.

The relevant notion of functor between accessible categories is

Definition

A functor F:CD between accessible categories is an accessible functor if there exists a κ such that C and D are both κ-accessible and F preserves κ-filtered colimits.

Properties

Stability under various constructions

Proposition

If 𝒞 is an accessible category and K is a small category, then the category of presheaves Func(K op,𝒞) is again accessible.

(Lurie, prop. 5.4.4.3)

Proposition

(preservation of accessibility under inverse images)

Let F:CD be a functor between locally presentable categories which preserves κ-filtered colimits, and let D 0D be an accessible subcategory. Then the inverse image f 1(D 0)C is a κ-accessible subcategory.

This appears as HTT, corollary A.2.6.5.

Proposition

(accessibility of fibrations and weak equivalences in a combinatorial model category)

Let C be a combinatorial model category, Arr(C) its arrow category, WArr(C) the full subcategory on the weak equivalences and FArr(C) the full subcategory on the fibrations. Then F, W and FW are accessible subcategories of Arr(C).

This appears as HTT, corollary A.2.6.6.

Proposition

(closure under limits)

The 2-category Acc of accessible categories, accessible functors, and natural transformations has all small 2-limits.

This can be found in Makkai-Paré. Some special cases are proven in Adámek-Rosický.

Proposition

(directed unions)

The 2-category Acc has directed colimits of systems of fully faithful functors. If there is a proper class of strongly compact cardinals?, then it has directed colimits of systems of faithful functors.

See (Paré-Rosický).

Adjoint functor theorem

Proposition

(adjoint functors)

Every accessible functor satisfies the solution set condition, and every left or right adjoint between accessible categories is accessible. Therefore, the adjoint functor theorem takes an especially pleasing form for accessible categories: a functor is a left (resp. right) adjoint iff it is accessible and preserves all small colimits (resp. limits).

Idempotence completeness

Proposition

A small category is accessible precisely when it is idempotent complete.

Makkai-Paré say that this means accessibility is an “almost pure smallness condition.”

Categories of models over a theory

Proposition

A geometric theory T is a theory of presheaf type precisely if its category Mod(T,Set) of models in Set is a finitely accessible category, and if and only if it is sketchable.

Locally presentable categories: Large categories whose objects arise from small generators under small relations.

(n,r)-categoriessatisfying Giraud's axiomsinclusion of left exaxt localizationsgenerated under colimits from small objectslocalization of free cocompletiongenerated under filtered colimits from small objects
(0,1)-category theory(0,1)-toposesalgebraic lattices Porst’s theoremsubobject lattices in accessible reflective subcategories of presheaf categories
category theorytoposeslocally presentable categories Adámek-Rosický’s theoremaccessible reflective subcategories of presheaf categoriesaccessible categories
model category theorymodel toposescombinatorial model categories Dugger’s theoremleft Bousfield localization of global model structures on simplicial presheaves
(∞,1)-topos theory(∞,1)-toposeslocally presentable (∞,1)-categories
Simpson’s theorem
accessible reflective sub-(∞,1)-categories of (∞,1)-presheaf (∞,1)-categoriesaccessible (∞,1)-categories

References

The term accessible category is due to

  • Michael Makkai, Robert Paré, Accessible categories: The foundations of categorical model theory Contemporary Mathematics 104. American Mathematical Society, Rhode Island, 1989.1989.

The standard textbook on the theory of accessible categories is

See also

A discussion of accessible (∞,1)-categories is in section 5.4, p. 341 of

Revised on December 6, 2012 08:33:55 by Mike Shulman (192.16.204.218)