Injective And Projective Model Structure

In higher category theory in mathematics, injective and projective model structures are special model structures on functor categories into a model category. Both model structures ''do not have'' to exist, but there are conditions guaranteeing their existence. An important application is for the study of limits and colimits, which are functors from a functor category and can therefore be made into Quillen adjunctions.

Definition

Let $\mathcal$ be a small category and $\mathcal$ be a model category. For two functors $F,G\colon \mathcal\rightarrow\mathcal$, a natural transformation $\eta\colon F\Rightarrow G$ is composed of morphisms $\eta_X\colon FX\rightarrow GX$ in $\operatorname\mathcal$ for all objects $X$ in $\operatorname\mathcal$. For those it hence be studied if they are fibrations, cofibrations and weak equivalences, which might lead to a model structure on the functor category $\operatorname(\mathcal,\mathcal)$.

* ''Injective cofibrations'' and ''injective weak equivalences'' are the natural transformations, which componentswise only consist of cofibrations and weak equivalences respectively. ''Injective fibrations'' are those natural transformations which have the right lifting property with respect to all injective trivial cofibrations.
* ''Projective fibrations'' and ''projective weak equivalences'' are the natural transformations, which componentswise only consist of fibrations and weak equivalences respectively. ''Projective cofibrations'' are those natural transformations which have the left lifting property with respect to all projective trivial fibrations.

For a model structure, the injective trivial cofibrations also have to have the right lifting property with respect to all injective fibrations and the projective trivial fibrations also have to have the left lifting property with respect to all projective cofibrations. Since both doesn't have to be the case, the injective and projective model structure doesn't have to exist.

The functor category $\operatorname(\mathcal,\mathcal)$ with the initial and projective model structure is denoted $\operatorname(\mathcal,\mathcal)_\mathrm$ and $\operatorname(\mathcal,\mathcal)_\mathrm$ respectively.

Properties

* If $\mathcal$ ist the category assigned to a small well-ordered set with initial element and if $\mathcal$ has all small colimits, then the projective model structure on $\operatorname(\mathcal,\mathcal)$ exists.

Quillen adjunctions

Let $\mathcal$ be a combinatorical model category. Let $F\colon \mathcal\rightarrow\mathcal$ be a functor between small categories, then there is a functor $F^*\colon \mathbf(\mathcal,\mathcal)\rightarrow\mathbf(\mathcal,\mathcal)$ by precomposition. Since $\mathcal$ has all small limits and small colimits, this functor has a left adjoint $F_!\colon \mathbf(\mathcal,\mathcal)\rightarrow\mathbf(\mathcal,\mathcal), F_!(G)=\operatorname_F(G)$ with $F_!\dashv F^*$ known as left Kan extension as well as a right adjoint $F_*\colon \mathbf(\mathcal,\mathcal)\rightarrow\mathbf(\mathcal,\mathcal), F_*(G)=\operatorname_F(G)$ with $F^*\dashv F_!$ known as right Kan extension. While the former adjunction is a Quillen adjunction between the projective model structures, the latter is a Quillen adjunctions between the injective model structures.Lurie 2009, Proposition A.2.8.7.

See also

* Co- and contravariant model structure, induced model structures on slice categories

Literature

*
* {{cite book , last=Cisinski , first=Denis-Charles , author-link=Denis-Charles Cisinski , url=https://cisinski.app.uni-regensburg.de/CatLR.pdf , title=Higher Categories and Homotopical Algebra , date=2019-06-30 , publisher=Cambridge University Press , isbn=978-1108473200 , location= , language=en , authorlink=

References

External links

* model structure on functors at the ''n''Lab

Higher category theory
Simplicial sets