nLab model structure on cosimplicial simplicial sets



Model category theory

model category, model \infty -category



Universal constructions


Producing new model structures

Presentation of (,1)(\infty,1)-categories

Model structures

for \infty-groupoids

for ∞-groupoids

for equivariant \infty-groupoids

for rational \infty-groupoids

for rational equivariant \infty-groupoids

for nn-groupoids

for \infty-groups

for \infty-algebras

general \infty-algebras

specific \infty-algebras

for stable/spectrum objects

for (,1)(\infty,1)-categories

for stable (,1)(\infty,1)-categories

for (,1)(\infty,1)-operads

for (n,r)(n,r)-categories

for (,1)(\infty,1)-sheaves / \infty-stacks

Homological algebra

homological algebra

(also nonabelian homological algebra)



Basic definitions

Stable homotopy theory notions



diagram chasing

Schanuel's lemma

Homology theories




For Δ\Delta the simplex category the functor category sSet ΔsSet^{\Delta} is that of cosimplicial objects in simplicial sets: cosimplicial simplicial sets.

There are various standard model category structures on this category. The Reedy model structure is discussed in (BousfieldKan), the injective structure is discussed in (Jardine).



The totalization of a cosimplicial simplicial set X X^\bullet coincides with the sSet-enriched hom-object

Tot(X )=sSet Δ(Δ,X ), Tot(X_\bullet) = sSet^{\Delta}(\Delta, X_\bullet) \,,

where Δ:[k]Δ[k]\Delta : [k] \mapsto \Delta[k] is the canonical cosimplicial simplicial set given by the simplex-assignment.

Since Δ\Delta is cofibrant in the Reedy model structure it follows that totalization of Reedy-fibrant cosimplicial simplicial sets preserves weak equivalences. The following lists situations in which totalization respects weak equivalences even without this assumption.


Totalization is closely related to descent objects. If AA is a simplicial presheaf and YXY \to X is a hypercover, then the descent object is the sSet-enriched hom

Desc(Y,X)=sPsh(Y,A). Desc(Y,X) = sPsh(Y,A) \,.

If we decompose

Y= [n]ΔΔ[n]Y n Y = \int^{[n] \in \Delta} \Delta[n] \cdot Y_n

into its cells by a coend, where now each Y nY_n is a Set-valued presheaf (see co-Yoneda lemma), then this is

Desc(Y,A) =sPSh( nΔΔ[n]Y n,A) = nΔsPSh(Δ[n]Y n,A) = nΔsSet(Δ[n],sPSh(Y n,A)) =Tot(sPSh(Y ,A)), \begin{aligned} Desc(Y,A) &= sPSh(\int^{n \in \Delta} \Delta[n] \cdot Y_n, A) \\ & = \int_{n \in \Delta} sPSh(\Delta[n] \cdot Y_n , A) \\ & = \int_{n \in \Delta} sSet(\Delta[n], sPSh(Y_n,A)) \\ &= Tot( sPSh(Y_\bullet, A)) \end{aligned} \,,

where the equality signs are isomorphisms of simplicial sets, the outside integral sign denotes the end, and in the integrand we are using that simplicial presheaves are simplicially enriched and tensored over simplicial sets.

So a standard class of examples of cosimplicial simplicial sets to keep in mind are those obtained by evaluating a simplicial presheaf degreewise on the components of a hypercover. Its totalization then is the corresponding descent object.


For G H G^\bullet \to H^\bullet a morphism of cosimplicial groupoids which is degreewise an equivalence, also the induced morphism of totalizations

Tot(G )Tot(H ) Tot(G^\bullet) \to Tot(H^\bullet)

is a weak equivalence (of simplicial sets).

This is (Jardine, corollary 12).


Let Δ +Δ\Delta_+ \hookrightarrow \Delta be the subcategory of the simplex category on the co-face maps. Write rTotrTot for the corresponding totalization, called the restricted totalization.


For G H G^\bullet \to H^\bullet a degreewise weak equivalence of strict 2-groupoids, the resulting morphism of connected components of restricted totalizations

rTot(G )rTot(H ) rTot(G^\bullet) \to rTot(H^\bullet)

is a weak equivalence.

This is (Prezma, theorem 6.1).

Retsricted to π 0\pi_0 this statement appeared as (Yekutieli, theorem 2.4). Notice that it is indeed necessary to use the restricted totalization instead of the ordinary totalization here.


The Reedy model structure on sSet ΔsSet^{\Delta} is discussed in Chapter X of

  • Aldridge Bousfield and Dan Kan, Homotopy limits, completions and localizations Springer-Verlag, Berlin, 1972. Lecture Notes in Mathematics, Vol. 304.

The injective model structure is discussed in

Totalization of cosimplicial strict 2-groupoids is considered in


Last revised on September 5, 2013 at 00:55:32. See the history of this page for a list of all contributions to it.