model category, model -category
Definitions
Morphisms
Universal constructions
Refinements
Producing new model structures
Presentation of -categories
Model structures
for -groupoids
on chain complexes/model structure on cosimplicial abelian groups
related by the Dold-Kan correspondence
for equivariant -groupoids
for rational -groupoids
for rational equivariant -groupoids
for -groupoids
for -groups
for -algebras
general -algebras
specific -algebras
for stable/spectrum objects
for -categories
for stable -categories
for -operads
for -categories
for -sheaves / -stacks
Background
Basic concepts
equivalences in/of -categories
Universal constructions
Local presentation
Theorems
Extra stuff, structure, properties
Models
This page means to give an introduction to the notion of locally presentable category, and its related notions in higher category theory and survey some fundamental properties.
Expected background of the reader:
For the first section Basic idea in category theory the reader is assumed to be familiar with basic notions of category theory such as presheaves and colimits.
For the section Basic idea in model category theory the reader is assumed to be familiar with basic notions in model category theory such as cofibrantly generated model categories and homotopy colimits.
For the third section Basic idea in (∞,1)-category theory the reader is assumed to be familiar with basic concepts of (∞,1)-category theory such as (∞,1)-categories of (∞,1)-presheaves and (∞,1)-colimits.
The general idea is that a locally presentable category is a large category generated from small data: from small objects under small colimits.
The notion of locally presentable category is, at least roughly, an analogue for categories of the notion of a finitely generated module.
An abelian group is called finitely generated if there is a finite subset
of the underlying set of , such that every element of is a sum of such generating elements.
We always have the maximal such presentation where is the whole underlying set and is the counit of the free-forgetful adjunction. But the presentation is all the more interesting/useful the smaller is.
Now, the categorification of “commutative sum” is colimit. Hence let now be a category with all small colimits.
We say a subclass of objects or equivalently the full subcategory on this subclass generates if every object in is a colimit of objects in , hence the colimit over a diagram of the form
As before, such a presentation is all the more useful the “smaller” the generating data is. In order to grasp the various aspects of the notion of “smallness” in category theory we need to recall the notion of regular cardinal.
The cardinality of a set is regular if every coproduct/disjoint union of sets of cardinality smaller than and indexed by a set of cardinality smaller than is itself of cardinality smaller than .
The smallest regular cardinal is : every finite union of finite sets is itself a finite set. (See the entry on regular cardinals for a discussion as to whether one might consider some finite cardinals as being `regular'.)
We can now speak of objects that are “-small sums” using the notion of -filtered colimits:
For a regular cardinal, a -filtered category is one where every diagram of size has a cocone.
In an -filtered category every finite diagram has a cocone. This is equivalent to:
for every pair of objects there is a third object such that both have a morphism to it;
for every pair of parallel morphisms there is a morphism out of their codomain such that the two composites are equal.
For a bigger regular cardinal, every -filtered category is in particular also -filtered.
Using this we have the central definition now:
A -filtered colimit is a colimit over a -filtered diagram.
A crucial characterizing property of -filtered colimits is the following:
A colimit in Set is -filtered precisely if it commutes with all -small limits.
In particular a colimit in Set is filtered (meaning: -filtered) precisely if it commutes with all finite limits.
An object is a -compact object if it commutes with -filtered colimits, hence if for any -filtered diagram, the canonical function
is a bijection.
We say is a small object if it is -compact for some regular cardinal .
If , then being -compact is a weaker condition than being -compact.
The object commutes with the colimit over precisely if every morphism lifts to a morphism into one of the . Schematically, depicting specifically a sequential colimit, this means that we have:
Hence is “small enough” such that mapping it into the sum of all the it always entirely lands inside one of the .
There is a close relation between the notion of “compact” as in, on the one hand, compact topological space and compact topos, and on the other as in compact object as above. This is mediated by proposition . But the relation is a bit more subtle and takes a bit more discussion than we maybe want to get into here.
Using this we can now say:
A locally small category is a locally presentable category if it has all small colimits and there is a small set of small objects such that this generates , by def. .
The adjective “locally” in “locally presentable category” is to indicate that the condition is all about the objects, only. There is a different notion of “presented category”.
There are a bunch of equivalent reformulations of the notion of locally presentable category. One of the more important ones we again motivate first by analogy with presentable modules:
If an abelian group is generated by a set as in example , this means equivalently that there is an epimorphism
from the free abelian group generated by , hence the group obtained by forming formal sums of elements in . Here the epimorphism sends formal sums to actual sums in :
The categorification of the notion free abelian group is the notion of free cocompletion of a category : the category of presheaves .
Accordingly:
If a full subcategory generates under colimits as in defn. , then there is a functor
which sends formal colimits to actual colimits in
Here by construction preserves all colimits.
Therefore conversely, given a colimit-preserving functor we want to say that it locally presents if is “suitably epi”.
It turns out that “suitably epi” is to be the following:
A functor from the category of presheaves over a small category is an accessible localization if
has a section, hence a functor with a natural isomorphism ;
such that
is right adjoint to ;
preserves -filtered colimits.
With this notion we have the following analog of the familiar statement that an abelian group is generated by precisely if there is an epimorphism :
A category is locally presentable according to def. precisely if it is an accessible localization, def. ,
for some small category .
This is due to (Adámek-Rosický, prop 1.46).
A locally presentable category is called a topos, precisely if the localization functor from theorem in addition is a left exact functor, meaning that it preserves finite limits.
In summary the discussion above says that the notion of locally presentable categories sits in a sequence of notions as indicated in the row labeled “category theory” in the following table. The other rows are supposed to indicate that regarding a category as a (1,1)-category and simply varying in this story the parameters in “(n,r)-category” one obtains fairly straightforward analogs of the notion of locally presentable category in other fragments of higher category theory. These we discuss in more detail further below.
Locally presentable categories: Large categories whose objects arise from small generators under small relations.
The analog of a category of presheaves in model category theory is the model structure on simplicial presheaves, which we now briefly indicate.
Write sSet for the category of simplicial sets. Here we always regard this as equipped with the standard model structure on simplicial sets .
For a small category write for the category of simplicial presheaves. The global projective model structure on simplicial presheaves has as
weak equivalences the objectwise weak homotopy equivalences of simplicial sets
fibrations the objectwise Kan fibrations.
Accordingly is a cofibrantly generated model category with generating (acyclic) cofibrations the tensoring of objects of with the generating (acyclic) cofibrations of .
Given a model category and set of morphisms, the left Bousfield localization is the model structure with the same cofibrations and weak equivalences the -local morphisms.
The simple idea of the following definition is to say that the model category analog of locally presentable category is simply a model structure on a locally presentable category.
A model category is a combinatorial model category if
the underlying category is a locally presentable category;
the model structure is a cofibrantly generated model category.
Every combinatorial model category, def. , is Quillen equivalent to a left Bousfield localization of a global model structure on simplicial presheaves as in def. .
See at combinatorial model category - Dugger’s theorem.
For and two (∞,1)-categories and two models as quasi-categories, an (∞,1)-functor is simply a homomorphism of simplicial set .
The (∞,1)-category of (∞,1)-functors as a quasi-category is simply the hom object of simplicial set
For an (∞,1)-category, the (∞,1)-category of (∞,1)-presheaves on is the functor category
out of the opposite (∞,1)-category of into the (∞,1)-category of ∞-groupoids.
The notions of adjoint functors, full and faithful functors etc. have straightforward, essentially verbatim generalizations to -categories:
A pair of (∞,1)-functors
is a pair of adjoint (∞,1)-functors, if there exists a unit transformation – a morphism in the (∞,1)-category of (∞,1)-functors – such that for all and the induced morphism
is an equivalence of ∞-groupoids.
An (∞,1)-functor is a full and faithful (∞,1)-functor if for all objects the component
is an equivalence of ∞-groupoids.
A reflective sub-(∞,1)-category is a full and faithful (∞,1)-functor with a left adjoint (∞,1)-functor.
We have then the essentially verbatim analog of the situation for ordinary categories:
An (∞,1)-category is a locally presentable (∞,1)-category if there exists a small set of objects such that the full sub-(∞,1)-category on it generates under (∞,1)-colimits.
And the equivalent characterization is now as before
An (∞,1)-category is a locally presentable (∞,1)-category, def. , precisely if it is equivalent to localization, def. ,
of an (∞,1)-category of (∞,1)-presheaves, def. , such that preserves -filtered (∞,1)-colimits for some regular cardinal .
This appears as Lurie, theorem 5.5.1.1, attributed there to Carlos Simpson.
As before, if a locally presentable -category arises as the localization of a left exact (∞,1)-functor, then it is an (∞,1)-topos.
There is a close match between the theory of combinatorial model categories and locally presentable (∞,1)-categories.
Every locally presentable (∞,1)-category arises, up to equivalence of (∞,1)-categories, as the simplicial localization of a combinatorial model category.
This is part of Lurie, theorem 5.5.1.1.
Accordingly, every simplicial Quillen adjunction between combinatorial model categories gives rise to a pair of adjoint (∞,1)-functors between the corresponding locally presentable -categories.
Hence a left Bousfield localization of a model structure on simplicial presheaves presents a corresponding localization of an (∞,1)-category of (∞,1)-presheaves to a locally presentable (∞,1)-category.
The standard textbook for locally presentable categories is
Decent accounts of combinatorial model categories include secton A.2.6 of
and
The standard text for locally presentable (∞,1)-categories is section 5 of Lurie.
Last revised on April 27, 2023 at 07:03:03. See the history of this page for a list of all contributions to it.