Model category theory
Producing new model structures
Presentation of -categories
for stable/spectrum objects
for stable -categories
for -sheaves / -stacks
The model category structures on functor categories are models for (∞,1)-categories of (∞,1)-functors.
For a model category and any small category there are two “obvious” ways to put a model category structure on the functor category , called the projective and the injective model structures. For completely general , neither one need exist. The projective model structure exists as long as is cofibrantly generated, while the injective model structure exists as long as is combinatorial.
A related kind of model structure is the Reedy model structure/generalized Reedy model structure on functor categories, which applies for any model category , but requires to be a very special sort of category, namely a Reedy category/generalized Reedy category.
In the special case that SSet is the standard model category of simplicial sets the projective and injective model structure on the functor categories are described in more detail at global model structure on simplicial presheaves.
For a combinatorial model category or, in the projective case, just a cofibrantly generated model category, and a small category there exist the following two (combinatorial) model category structures on the functor category :
the projective structure : weak equivalences and fibrations are the natural transformations that are objectwise such morphisms in .
the injective structure : weak equivalences and cofibrations are the natural transformations that are objectwise such morphisms in .
More generally, if is in addition a simplicial model category and a smooth sSet-enriched category, then the sSet-enriched functor category, also denoted , carries the above two model strutures.
In all of the following, let be an excellent model category. The standard example is the model structure on simplicial sets, .
Let (and , , …) be a combinatorial -enriched model category.
Moreover, in the following is assumed to be either an ordinary small category, or, more generally, it is a small -enriched category.
If sSet and is an ordinary small category, then then model structures discussed here are instances of the model structure on simplicial presheaves. If is itself -enriched, then they are instances of the model structure on sSet-enriched presheaves.
The projective and injective structures and , def. 1
The existence of the unenriched model structure apears as HTT, prop. 2.8.2 The enriched case is HTT, prop. A.3.3.2 and the remarks following that. The statement about properness appears as HTT, remark A.2.8.4.
Let be an ordinary small category.
The cofibrations in are generated from (i.e. are the weakly saturated class of morphisms defined by) the morphisms of the form
for all and a generating cofibration in . Here the dot denotes the tensoring of over sets, i.e. is the functor that sends to the coproduct of copies of .
In particular, every cofibration if is in particular a cofibration in . Similarly, every fibration in is in particular a fibration in
This is argued in the beginning of the proof of HTT, lemma A.2.8.3.
Relation to other model structures
The identity functors
form a Quillen equivalence (with being the left Quillen functor).
If is a Reedy category this factors through the Reedy model structure
Functoriality in domain and codomain
The functor model structures depend Quillen-functorially on their codomain, in that for
a -enriched Quillen adjunction between combinatorial -enriched model categories, postcomposition induces -enriched Quillen adjunctions
Moreover, if is a Quillen equivalence, then so is .
For the case that is a small category this is (Lurie, remark A.2.8.6), for the enriched case this is (Lurie, prop. A.3.3.6).
The Quillen-functoriality on the domain is more asymmetric.
For a functor between small categories or an -enriched functor between -enriched categories, let
be the adjoint triple where is precomposition with and where and are left and right Kan extension along , respectively.
Then we have Quillen adjunctions
For not enriched this appears as (Lurie, prop. A.2.8.7), for the enriched case it appears as (Lurie, prop. A.3.3.7).
For a combinatorial simplicial model category, the (∞,1)-category presented by and under the above assumptions is the (∞,1)-category of (∞,1)-functors from the ordinary category to the -category presented by .
See (∞,1)-category of (∞,1)-functors for details.
Relation to homotopy Kan extensions/limits/colimits
Often functors are thought of as diagrams in the model category , and one is interested in obtaining their homotopy limit or homotopy colimit or, generally, for any functor, their left and right homotopy Kan extension.
These are the left and right derived functors and of
For more on this see homotopy Kan extension. For the case that this reduces to homotopy limit and homotopy colimit.
Examples of cofibrant objects in the projective model structure are discussed at
The plain situation is the topic of section A.2.8 of
The enriched situation is section A.3.3 there.