Spahn HTT, A.3.2 (Rev #2, changes)

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

Definition A.3.2.1

Let SS be a monoidal model category.

A functor F:CC F:C\to C^\prime in sSetCatsSet Cat is a weak equivaleence if the induced functor hChC hC\to h C^\prime is an equivalence of hSh S-enriched categories.

In other words: F is a weak equivalence iff

(1) For every pair X,YCX,Y\in C, the induced map

Map C(X,Y)Map C (F(X),F(Y))Map_C (X,Y)\to Map_{C^\prime} (F(X), F(Y))

is a weak equivalence in SS.

(2) FF is essentially surjective on the level of homotopy categories.

Recall that the homotopy category hSh S of a model category SS was defined to have the same objects as SS and the hom hShom_hS objects consist of the equivalence classes of the morphisms in the hom Shom_S objects wrt. the homotopy equivalence relation. Here two morphisms of SS were called to be homotopic if their product map factors through some path object of their codomain.

The following definition says a functor between categories is called a quasi fibrations if every isomorphism has a lift with respect to FF.

Remark

Let SS be a monoidal model category. Let SCatS Cat denote the category of small SS-enriched categories.

Given a monoidal structure on SS also its homotopy category (this was defined to have the same objects and the hom hShom_hS objects consist of the equivalence classes of the morphisms in the hom Shom_S objects wrt. homotopy

are those of SShSh S carries a monoidal structure which is determined up to a unique isomorphism by the requirement that there exists a monoidal functor

ShSS\to hS

from SS to its homotopy category.

Definition A.3.2.7 A.3.2.1

Let F S F S :C\to D$ be a functor monoidal between model classical category. categories.

FFA functor is called a F:CC F:C\to C^\primequasi-fibration in if, for every object sSetCatsSet CatxCx\in C is a weak equivaleence if the induced functor and every isomorphism hChC hC\to h C^\primef:F(x)yf:F(x)\to y is an equivalence of in hSh SDD-enriched categories., there exists an isomorphism f¯:xy¯\overline f:x\to \overline y in CC such that F(f)=fF(f)=f.

In other words: F is a weak equivalence iff

(1) For every pair X,YCX,Y\in C, the induced map

Map C(X,Y)Map C (F(X),F(Y))Map_C (X,Y)\to Map_{C^\prime} (F(X), F(Y))

is a weak equivalence in SS.

(2) FF is essentially surjective on the level of homotopy categories.

Theorem 3.2.24

Let SS be an excellent model category. Then:

  1. An SS-enriched category CC is a fibrant object of sSetCatsSet 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 sSetCatsSet Cat. Then FF is a fibration iff FF is a local fibration.

The following definition says a functor between categories is called a quasi fibrations if every isomorphism has a lift with respect to FF.

Definition A.3.2.7

Let S F S F :C\to D$ be a monoidal functor category. between Let classical categories.CC be an SS-enriched category.

(1) A morphism FFff is called a in quasi-fibrationCC if, for every object is called an xCx\in Cequivalence and every isomorphism if the homotopy class f:F(x)yf:F(x)\to y[f][f] in of DDff, there exists an isomorphism is an isomorphism in f¯:xy¯\overline f:x\to \overline yhCh C in CC such that F(f)=fF(f)=f.

(2) CC is called locally fibrant object if for every pair of objects X,YCX,Y\in C, the mapping space Map C(X,Y)Map_C(X,Y) is a fibrant object of SS.

(3) An SS-enriched functor F:CC F:C\to C^\prime is called a local fibration if the following conditions are satisfied:

(3.i) Map C(X,Y)Map C (FX,FY)Map_C (X,Y)\to Map_{C^\prime} (FX,FY) is a fibration in SS for every X,YCX,Y\in C.

(3.ii) The induced map hChC h C\to h C^\prime is a quasi-fibration of categories.

Definition Theorem A.3.2.16 3.2.24

(excellent Let model category)SS be an excellent model category. Then:

A model category SS is called excellent model category if it is equipped with a symmetric monoidal structure and satisfies the following conditions

  1. An SS-enriched category CC is a fibrant object of sSetCatsSet 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 sSetCatsSet Cat. Then FF is a fibration iff FF is a local fibration.

(A1) SS is combinatorial.

(A2) Every monomorphism in SS is a cofibration and the collection of cofibrations in SS is stable under products.

(A3) The collection of weak equivalencies in SS is stable under filtered colimits.

(A4) :S×SS\otimes:S\times S\to S is a Quillen bifunctor.

(A5) The monoidal model category SS satisfies the invertibility hypothesis.

Definition

Let SS be a monoidal category. Let CC be an SS-enriched category.

(1) A morphism ff in CC is called an equivalence if the homotopy class [f][f] of ff is an isomorphism in hCh C.

(2) CC is called locally fibrant object if for every pair of objects X,YCX,Y\in C, the mapping space Map C(X,Y)Map_C(X,Y) is a fibrant object of SS.

(3) An SS-enriched functor F:CC F:C\to C^\prime is called a local fibration if the following conditions are satisfied:

(3.i) Map C(X,Y)Map C (FX,FY)Map_C (X,Y)\to Map_{C^\prime} (FX,FY) is a fibration in SS for every X,YCX,Y\in C.

(3.ii) The induced map hChC h C\to h C^\prime is a quasi-fibration of categories.

Definition A.3.2.16

(excellent model category)

A model category SS is called excellent model category if it is equipped with a symmetric monoidal structure and satisfies the following conditions

(A1) SS is combinatorial.

(A2) Every monomorphism in SS is a cofibration and the collection of cofibrations in SS is stable under products.

(A3) The collection of weak equivalencies in SS is stable under filtered colimits.

(A4) :S×SS\otimes:S\times S\to S is a Quillen bifunctor.

(A5) The monoidal model category SS satisfies the invertibility hypothesis.

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