Spahn HTT, A.2 model categories (Rev #18, changes)

Showing changes from revision #17 to #18: Added | Removed | Changed

This is a subentry of a reading guide to HTT.

Contents

A.2.1 The model category axioms

Definition

(This is Joyal’s definition; it differs from A.2.1.1 in that Joyal requests CC to be finitely bicomplete.)

A model category is a category CC equipped with three distinguished classes of CC-morphisms: The classes (C)(C), (F)(F), (W)(W) of cofibrations, fibrations, and weak equivalences, respectively, satisfying the following axioms:

  • CC admits (small) limits and colimits.

  • The class of weak equivalences satisfies 2-out-of-3.

  • (CW,F)(C\cup W,F) and (C,FW)(C,F\cup W) are weak factorization systems.

Remark
  1. The classes (C)(C) and (F)(F) is closed under retracts. (by weak factorization systems, Lemma 2, in joyal’s catlab)

  2. The class (W)(W) is closed under retracts. (by model categories, Lemma 1, in joyal’s catlab)

A.2.2 The homotopy category of a model category

Definition

Let XX be an object in a model category.

  1. A cylinder object is defined to be a factorization of the codiagonal map XXXX\coprod X\to X for XX into a cofibration followed by a weak equivalence.

  2. A path object is defined to be a factorization of the diagonal map XX×XX\to X\times X for XX into a weak equivalence followed by a fibration .

HTT, A.2.2

Proposition Definition A.2.2.1

Let C X C X be an object in a model category. LetXX be a cofibrant object of CC. Let YY be a fibrant object of CC. Let f,g:XYf,g:X\to Y be two parallel morphisms. Then the following conditions are equivalent.

  1. The A coproduct mapfgf\coprod gcylinder object factors is through defined every to cylinder be object a for factorization of the codiagonal mapXXX X\coprod X\to X . forXX into a cofibration followed by a weak equivalence.

  2. The A coproduct mapfgf\coprod gpath object factors is through defined some to cylinder be object a for factorization of the diagonal mapXX×X X\to X\times X . forXX into a weak equivalence followed by a fibration .

  3. The product map f×gf\times g factors through every path object for YY.

  4. The product map f×gf\times g factors through some path object for YY.

Definition Proposition A.2.2.1

(homotopy, Let homotopy category of a model category)CC be a model category. Let XX be a cofibrant object of CC. Let YY be a fibrant object of CC. Let f,g:XYf,g:X\to Y be two parallel morphisms. Then the following conditions are equivalent.

Let CC be a model category.

  1. The coproduct map fgf\coprod g factors through every cylinder object for XX.

  2. The coproduct map fgf\coprod g factors through some cylinder object for XX.

  3. The product map f×gf\times g factors through every path object for YY.

  4. The product map f×gf\times g factors through some path object for YY.

(1) Two maps f,g:XYf,g:X\to Y from a cofibrant object to a fibrant object satisfying the conditions of Proposition A.2.2.1 are called homotopic morphisms. Homotopy is an equivalence relation \simeq on hom C(X,Y)hom_C (X,Y).

(2) The homotopy category hCh C of CC is defined to have as objects the fibrant-cofibrant objects of CC. The hom objects hom hC(X,Y)hom_{hC}(X,Y) are defined to be the set of \simeq equivalence classes of hom C(X,Y)hom_C (X,Y).

Definition

(homotopy, homotopy category of a model category)

Let CC be a model category.

(1) Two maps f,g:XYf,g:X\to Y from a cofibrant object to a fibrant object satisfying the conditions of Proposition A.2.2.1 are called homotopic morphisms. Homotopy is an equivalence relation \simeq on hom C(X,Y)hom_C (X,Y).

(2) The homotopy category hCh C of CC is defined to have as objects the fibrant-cofibrant objects of CC. The hom objects hom hC(X,Y)hom_{hC}(X,Y) are defined to be the set of \simeq equivalence classes of hom C(X,Y)hom_C (X,Y).

A.2.3 A lifting criterion

The following proposition says that a factorization of a cofibration between cofibrant objects which exists in the homotopy category of a model category can be lifted into the model category.

Proposition A.2.3.1

A.2.4 Left properness and homotopy push out squares

In every model category the class of fibrations is stable under pullback and the class of cofibrations is stable under pushout. In general weak equivalences do not have such properties. The following definition requests such.

Definition A.2.4.1
  1. A model category is called left proper if the pushout of a weak equivalence along a cofibration is a weak equivalence.

  2. A model category is called right proper if the pullback of a weak equivalence along a fibration is a weak equivalence.

Proposition

Any model category in which every object is cofibrant is left proper.

Lemma A.2.4.3

The push out along a cofibration of a weak equivalence between cofibrant objects is always a weak equivalence.

A.2.5 Quillen adjunctions and Quillen equivalences

A Quillen adjunction is an appropriate notion of morphism between model categories.

Proposition and Definition

An adjoint pair of functors (FG):DGC(F\dashv G):D\stackrel{G}{\to}C is called a Quillen adjunction if the following equivalent conditions are satisfied:

  1. FF preserves cofibrations and acyclic cofibrations.

  2. GG preserves fibrations and acyclic fibrations.

  3. FF preserves cofibrations and GG preserves fibrations.

  4. FF preserves acyclic cofibrations and GG preserves acyclic fibrations.

Remark

Let (FG)(F\dashv G) be a Quillen adjunction. Then

  1. FF preserves weak equivalences between cofibrant objects.

  2. GG preserves weak equivalences between fibrant objects.

Remark

(descent of a Quillen adjunction to an adjunction between the homotopy category, derived functor)

Given a model category CC we obtain its homotopy category hChC be passing to its full subcategory of cofibrant objects and the formally inverting the weak equivalences.

If (FG):DGC(F\dashv G):D\stackrel{G}{\to}C is a Quillen adjunction FF induces a functor LF:hChDL F:hC\to hD since FF preserves weak equivalences between cofibrant objects.

Analogously GG preserves weak equivalences between fibrant objects and we obtain hDhD from DD by passing to the category of fibrant objects of DD and formally invert the weak equivalences and hence GG induces a functor RG:hDhCRG:hD\to hC.

In total one can show that (LFRG):hDRGhC(LF\dashv RG):hD\stackrel{RG}{\to}hC form an adjunction.

  1. LFLF is called the (homotopy) left derived functor of ff.

  2. RGRG is called the (homotopy) right derived functor of gg.

Abstracty one can obtain this result by Kan extension (this is also described at derived functor); however Quillen adjunction’s are introduced to present adjunctions between \infty-categories and to obtain such a presentation in terms of Kan extension in general requires additional assumptions:

In more detail we wish to extend F:CDF : C \to D (for GG analogously) to a diagram

C F D Q C (?) Q D hC hD, \array{ C &\stackrel{F}{\to}& D \\ \downarrow^{\mathrlap{Q_C}} &(?)& \downarrow^{\mathrlap{Q_D}} \\ hC&\to& hD } \,,

where Q C:ChCQ_C : C \to hC is the universal morphism characterizing the homotopy category and similarly for Q DQ_D.

This is accomplished by taking hChDhC\to hD to be either the left (LF:=Lan Q CQ dFLF:=Lan_{Q_C} Q_d \circ F) or right (RF:=Ran Q CQ dFRF:=Ran_{Q_C} Q_d \circ F) Kan extension of Q dFQ_d \circ F along Q CQ_C.

Proposition A.2.5.1

(characterization of derived functors, Quilen equivalence) Let (FG):DGC(F\dashv G):D\stackrel{G}{\to}C be a Quillen adjunction of model categories. Then the following are equivalent:

  1. The left derived functor LF:hChDLF:hC\to hD is an equivalence of categories.

  2. The right derived functor RF:hDhCRF:hD\to hC is an equivalence of categories.

  3. For every cofibrant object cCc\in C and every fibrant object DDD\in D, a map cG(d)c\to G(d) is a weak equivalence iff the adjoint map F(c)dF(c)\to d is a weak equivalence.

(FG)(F\dashv G) is called Quillen equivalence if these conditions are satisfied.

A.2.6 Combinatorial model categories

(transclusion:

Definition A.1.2.2

(weakly saturated class of morphisms)

Let CC be a category with all small colimits. A class SS of CC-morphisms is called a weakly saturated class if the following conditions are satisfied.

  1. SS is closed under forming pushouts (along arbitrary CC-morphisms).

  2. SS is closed under transfinite composition.

  3. SS is closed under forming retracts.

)

Definition A.2.6.1

A model category AA is called combinatorial model category if the following conditions are satisfied:

  1. AA is presentable.

  2. There exists a set II of generating cofibrations such that the collection of all cofibrations is the smallest weakly saturated class of morphisms containing II.

  3. There exists a set JJ of generating acyclic cofibrations such that the collection of all acyclic cofibrations is the smallest weakly saturated class of morphisms containing JJ.

Definition A.2.6.10

(perfect class) Let AA be a presentable category. A class WW of morphisms in CC is called perfect class if the following conditions are satisfied:

  1. WW contaings all isomorpphisms.

  2. WW satisfies 2-out-of-3

  3. WW is stable under poset filtered colimits.

  4. WW contains a small subset which generates WW under filtered colimits.

Proposition A.2.6.13

Let AA be a presentable category. Let WW be a class of AA-morphisms called called weak equivalences. Let A 0A_0 be a small set of morphisms of AA called generating cofibrations satisfying:

(1) WW is a perfect class.

(2) For any diagram

X f Y X Y g g X Y \array{ X&\stackrel{f}{\to}& Y \\ \downarrow&&\downarrow \\ X^{\prime}&\to&Y^{\prime} \\ \downarrow^g&&\downarrow^{g^\prime} \\ X^{\prime\prime}&\to& Y^{\prime\prime} }

where both sub squares are cocartesian, fA 0f\in A_0, and gWg\in W, the g Wg^\prime\in W.

(3) A morphism in AA which has the right lifting property with respect to A 0A_0 belongs to WW.

Then there exists a left proper, combinatorial model structure on CC defined by:

(C) A morphism is a cofibration if it belongs to the smallest weakly saturated class of morphisms generated by A 0A_0.

(W) A morphism is a weak equivalence if it belongs to WW.

(F) A morphism is a fibration if it has the right lifting property with respect to the class of acyclic cofibrations.

Remark 2.6.14

Let AA be a model category. Then AA arises via the construction of Proposition A.2.6.13 iff it is left proper, combinatorial and the class of weak equivalences in AA is stable under filtered colimits.

A.2.7 Simplicial sets

Definition

The standard model structure on the category sSetsSet of simplicial sets is defined by:

(W) A morphism is a weak equivalence if its geometric realization is a weak homotopy equivalence.

(C) Cofibrations are the monomorphisms.

(F) Fibrations are Kan fibrations.

A.2.8 Diagram categories and homotopy colimits

(A.2.8.1, A.2.8.2)

If CC is a small category and AA is a combinatorial model category, then

  1. The injective model structure on Fun(C,A)Fun (C,A) is a combinatorial model structure, determined by the strong cofibrations, weak equivalences, and projective fibrations.

  2. The projective model structure on Fun(C,A)Fun (C,A) is a combinatorial model structure, determined by the weak cofibrations, weak equivalences, and injective fibrations.

If AA is moreover right proper resp. left proper, then Fun(C,A)Fun(C,A) is right proper resp. left proper.

Remark A.2.8.6

A Quillen adjunction (FG):BGA(F\dashv G):B\stackrel{G}{\to}A induces for every small category CC a Quillen adjunction (F CG C):Fun(C,B)G CFun(C,A)(F^C\dashv G^C):Fun(C,B)\stackrel{G^C}{\to}Fun(C,A) with respect to either the injective- or the projective model structure.

(FG)(F\dashv G) is a Quillen equivalence iff (F CG C)(F^C\dashv G^C) is.

In other words: Forming the injective- resp. projective model structure is a functor.

Remark

(identity Quillen functor)

By Remark A.2.8.5 every projective cofibration is an injective cofibration and (dually) every injective fibration is a projective fibration. By definition the projective- and injective model structure have the same weak equivalences. It follows that the identity

(id Fun(C,A)id Fun(C,A)):Fun(C,A) injFun(C,A) proj(id_{Fun(C,A)}\dashv id_{Fun(C,A)}):Fun(C,A)_{inj}{\to}Fun(C,A)_{proj}

is a Quillen equivalence between the injective- and the projective model structure.

Proposition A.2.8.7

Let f:CC f:C\to C^\prime be a functor between small categories. For a combinatorial model category AA let f *:=()f:Fun(C ,A)Fun(C,A)f^*:=(-)\circ f:Fun(C^\prime,A)\to Fun(C,A) denote the functor given by precomposition with ff. By Kan extension we see that there are adjoints

(f !f *f *):Fun(C,A)f *Fun(C ,A)(f_!\dashv f^*\dashv f_*):Fun(C,A)\stackrel{f_*}{\to} Fun(C^\prime,A)

and

  1. (f !f *):Fun(C ,A) projf *Fun(C,A) proj(f_!\dashv f^*):Fun(C^\prime,A)_{proj}\stackrel{f_*}{\to}Fun(C,A)_{proj}

  2. (f *f *):Fun(C,A) injf *Fun(C proj,A) inj(f^*\dashv f_*):Fun(C,A)_{inj}\stackrel{f_*}{\to}Fun(C^\proj,A)_{inj}

Remark A.2.8.8

(transclusion from 5.2.4 Examples of adjoint functors:

Definition (in Proof of Corollary 5.2.4.5)

Let CC, DD be fibrant simplicially enriched categories. Let (FG):DGC(F\dashv G):D\stackrel{\G}{\to}C be a simplicially enriched adjunction. Let MM be the simplicially enriched category defined by

Map M(c,d)=Map C(c,G(d))=Map D(F(c),d)Map_M(c,d)=Map_C (c,G(d))=Map_D (F(c),d)
Map M(d,c)=Map_M (d,c)=\varnothing

for every cCc\in C, dDd\in D.

MM is the correspondence associated to the adjunction (FG)(F\dashv G).

Proposition 5.2.4.6

(derived functor)

Let AA, A A^\prime be simplicially enriched model categories. Let

(FG):A GA(F\dashv G):A^\prime\stackrel{G}{\to} A

be a simplicially enriched Quillen adjunction. Let MM denote the correspondence associated to the adjunction (FG)(F\dashv G). Let M M^\circ denote the full subcategory of MM consisting of those objects which are fibrant-cofibrant objects (either as objects in AA or as objects in A A^\prime).

Then N(M )N(M^\circ) determines an adjunction

(fg):N(A )gN(A )(f\dashv g):N(A^{\prime\circ})\stackrel{g}{\to}N(A^\circ)

here ff is called left derived functor of FF and gg is called right derived functor of GG.

On the level of homotopy categories ff and gg reduce to the usual derived functors associated to the Quillen adjunction, see (homotopy) derived functor.

)

Definition

(homotopy right Kan extension)

Let f:CC f:C\to C^\prime be a functor between small categories. The right derived functor Rf *Rf_* functor of the functor f *=Ran ff_*=Ran_f (which is the right adjoint to f *:=()f:Fun(C ,A)Fun(C,A)f^*:=(-)\circ f:Fun(C^\prime,A)\to Fun(C,A)) is called homotopy right Kan extension.

Definition

(homotopy limit)

Let 11 denote the terminal category. Let AA be a combinatorial model category. Let a:1Aa:1\to A denote a global element of AA. Let CC be a (note necessarily small) category. Let !:C1!:C\to 1 denote the unique functor to the terminal category. Let F:CAF:C\to A be a functor.

A natural transformation α:! *aF\alpha:!^* a\to F is called a homotopy limit of FF if α\alpha exhibits aa as a homotopy Kan extension of FF.

Note that ! *a=κ a!^* a=\kappa_a is the constant functor ‘’in aa’’.

Proposition A.2.8.9

Let AA be a combinatorial model category, let f:CDf : C \to D be a functor between small categories. Let F:CAF : C \to A and G:DAG : D \to A be diagrams. A natural transformation α:f *GF\alpha : f_* G \to F exhibits G as a homotopy right Kan extension of FF if and only if, for each object dDd \in D, α\alpha exhibits G(d)G(d) as a homotopy limit of the composite diagram

d/F:C× Dd/DCFAd/F:C\times_D d/D\to C\stackrel{F}{\to}A

The following remark defines homotopy Kan extensions which in particular model Kan extensions between \infty-categories:

(…)

Remark A.2.8.11

Analog for homotopy colimits.

Revision on June 29, 2012 at 19:43:09 by Stephan Alexander Spahn?. See the history of this page for a list of all contributions to it.