Co- And Contravariant Model Structure

In higher category theory in mathematics, co- and contravariant model structures are special model structures on slice categories of the category of simplicial sets. On them, postcomposition and pullbacks (due to its application in algebraic geometry also known as base change) induce adjoint functors, which with the model structures can even become Quillen adjunctions.

Definition

Let $A$ be a simplicial set, then there is a slice category $\mathbf/A$. With the choice of a model structure on $\mathbf$, for example the Joyal or Kan–Quillen model structure, it induces a model structure on $\mathbf/A$.

* ''Covariant cofibrations'' are monomorphisms. ''Covariant fibrant objects'' are the left fibrant objects over $A$. ''Covariant fibrations'' between two such left fibrant objects over $A$ are exactly the left fibrations.
* ''Contravariant cofibrations'' are monomorphisms. ''Contravariant fibrant objects'' are the right fibrant objects over $A$. ''Contravariant fibrations'' between two such right fibrant objects over $A$ are exactly the right fibrations.

The slice category $\mathbf/A$ with the co- and contravariant model structure is denoted $(\mathbf/A)_\mathrm$ and $(\mathbf/A)_\mathrm$ respectively.

Properties

* The covariant model structure is left proper and combinatorical.

Homotopy categories

For any model category, there is a homotopy category associated to it by formally inverting all weak equivalences. In homotopical algebra, the co- and contravariant model structures of the Kan–Quillen model structure with weak homotopy equivalences as weak equivalences are of particular interest. For a simplicial set $A$, let:

: $\operatorname(A) :=\operatorname((\mathbf_\mathrm/A)_\mathrm)$
: $\operatorname(A) :=\operatorname((\mathbf_\mathrm/A)_\mathrm)$

Since $\Delta^0$ is the terminal object of $\mathbf$, one in particular has:

: $\operatorname(\mathbf_\mathrm) =\operatorname(\Delta^0) =\operatorname(\Delta^0).$

Since the functor of the opposite simplicial set is a Quillen equivalence between the co- and contravariant model structure, one has:

: $\operatorname(A^\mathrm) =\operatorname(A).$

Quillen adjunctions

Let $p\colon A\rightarrow B$ be a morphism of simplicial sets, then there is a functor $p_!\colon \mathbf/A\rightarrow\mathbf/B$ by postcomposition and a functor $p^*\colon \mathbf/B\rightarrow\mathbf/A$ by pullback with an adjunction $p_!\dashv p^*$. Since the latter commutes with all colimits, it also has a right adjoint $p_*\colon \mathbf/A\rightarrow\mathbf/B$ with $p^*\dashv p_*$. For the contravariant model structure (of the Kan–Quillen model structure), the former adjunction is always a Quillen adjunction, while the latter is for $p$ proper. This results in derived adjunctions:

: $\mathbfp_!\colon\operatorname(A)\rightleftarrows\operatorname(B)\colon\mathbfp^*,$
: $\mathbfp^*\colon\operatorname(B)\rightleftarrows\operatorname(A)\colon\mathbfp_*.$

Properties

*For a functor of ∞-categories $p\colon A\rightarrow B$ , the following conditions are equivalent:
** $p\colon A\rightarrow B$ is fully faithful.
** $\mathbfp_!\colon \operatorname(A)\rightarrow\operatorname(B)$ is fully faithful.
** $\mathbfp_!\colon \operatorname(A)\rightarrow\operatorname(B)$ is fully faithful.
* For an essential surjective functor of ∞-categories $p\colon A\rightarrow B$ , the functor $\mathbfp^*\colon \operatorname(B)\rightarrow\operatorname(A)$ is conservative.
* Every equivalence of ∞-categories $p\colon A\rightarrow B$ induces equivalence of categories:
*: $\mathbfp_!\colon \operatorname(A)\rightleftarrows\operatorname(B),$
*: $\mathbfp_!\colon \operatorname(A)\rightleftarrows\operatorname(B),$

* All inner horn inclusions $i\colon \Lambda_k^n\hookrightarrow\Delta^n$ (with $n\geq 2$ and 0) induce an equivalence of categories:Cisinski 2019, Proposition 5.2.1.
*: $\mathbfi_!\colon\operatorname(\Lambda_k^n)\rightarrow\operatorname(\Delta^n).$

See also

* Injective and projective model structure, induced model structures on functor 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

Higher category theory
Simplicial sets