Spahn Joyal model structure in HTT (Rev #1, changes)

Showing changes from revision #0 to #1: Added | Removed | Changed

Theorem 2.2.5.1

The exists a left proper, combinatorial model structure on the category of simplicial sets such that

(C) Cofibrations are precisely monomorphisms

(W) A map pp is a categorical equivalence iff S(p)S(p) is an equivalence of simplicial categories. Where S:sSetsCatS:sSet\to sCat denotes the functor induced via Kan extension by the cosimplicial object :ΔsCat\mathfrak{C}:\Delta\to sCat, Definition 1.1.5.1, HTT.

(transclusion:

Proposition A.3.2.4

Let SS be a combinatorial monoidal model category. Let every object of SS be cofibrant. Let the collection of all weak equivalences in SS be stable under filtered colimits.

Then there exists a left proper, combinatorial model structure on SCatS Cat such that:

(C) The class of cofibrations in SCatS Cat is the smallest weakly saturated class of morphisms containing the set of morphisms C 0C_0 defined in A.3.2.3. (C 0C_0 is some class of ‘’indicating morphisms’’).

(W) The weak equivalences in SCatS Cat are those functors F:CDF:C\to D which are essentially surjective on the level of homotopy categories and such that Map C(X,Y)Map C (F(X),F(Y))Map_C(X,Y)\to Map_{C^\prime}(F(X),F(Y)) for every X,YCX,Y\in C.

Recall that sSetsSet equipped with the Kan model structure is an excellent model category.

Theorem 3.2.24

Let SS be an excellent model category. Then:

  1. An SS-enriched category CC is a fibrant object of SCatS Cat iff it is locally fibrant: i.e. for all X,YCX,Y\in C the hom object Map C(X,Y)SMap_C (X,Y)\in S is fibrant.

  2. Let F:CDF:C\to D be a SS-enriched functor where DD is a fibrant object of SCatS Cat. Then FF is a fibration iff FF is a local fibration.

)

(transclusion: here: give proof of Proposition 1.2.7.3

Proposition 1.2.7.3

(stated again and proved in 2.2.5)

Let KK be a simplicial set. Then

(1) For every \infty-category CC, the simplicial set Fun(K,C)Fun(K,C) is an \infty-category.

(2) Let CDC\to D be a categorial equivalence of \infty-categories. Then the induced map Fun(K,C)Fun(K,D)Fun(K,C)\to Fun(K,D) is a categorial equivalence.

(3) Let CC be an \infty-category. Let KK K\to K^\prime be a categorial equivalence of simplicial sets. Then the induced map Fun(K ,C)Fun(K,C)Fun(K^\prime,C)\to Fun(K,C) is a categorial equivalence.

Proof

(1) Fun(K,C)Fun(K,C) is an \infty-category if it is fibrant in the Joyal model structure.

It suffices to show that it has the extension property with respect to every inner anodyne inclusion ABA\subseteq B.

This is equivalent to the assertion that CC has the right lifting property wrt. the inclusion A×KB×KA\times K\subseteq B\times K.

But CC is an \infty-category and A×KB×KA\times K\subseteq B\times K is inner anodyne (Corollary 2.3.2.4).

Let hsSeth sSet denote the homotopy category of sSetsSet wrt. the Joyal model structure. Let [X]hsSet[X]\in h sSet denote the homotopy class of XX.

For X,YsSetX,Y\in sSet, we have that [X×Y][X\times Y] is a product for [X][X] and [Y][Y]. (If XX and YY are fibrant this is a general fact. If not, we take fibrant replacements and apply Proposition 2.2.5.7.)

If CC is an \infty-category, CC is a fibrant in sSets Set by Theorem 2.4.6.1.

By Proposition 2.2.5.7 we identify hom hsSet([X]×[X],[C])Fun(X,C)hom_{h sSet}([X]\times [X],[C])\simeq Fun (X,C) and there are canonical bijections

hom hsSet([X]×[K],[C])hom hsSet([X×K],[C])hom hsSet([X],[Fun(K,C])hom_{h sSet}([X]\times [K],[C])\simeq hom_{h sSet}([X\times K],[C])\simeq hom_{h sSet}([X],[Fun(K,C])

It follows that [Fun(K,C)][Fun(K,C)] is determined up to canonical isomorphism by [K][K] and [C][C] in that it is an exponential [C] [K][C]^{[K]} in hsSeth sSet. This proves (2) and (3).

)

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