Contents

model category

for ∞-groupoids

# Contents

## Definition

The category of simplicial abelian groups carries the structure of a model category $sAbGrp_{proj}$ whose weak equivalences and fibrations are those of the underlying morphisms in the classical model structure on simplicial sets, hence whose

Hence the free/underlying-adjoint functors (where the free functor produces free simplicial abelian groups $\mathbb{Z}[-]$) is a Quillen adjunction with the classical model structure on simplicial sets $sSet_{Qu}$:

(1)$sAbGrp_{proj} \underoverset {\underset{undrlng}{\longrightarrow}} {\overset{\mathbb{Z}[-]}{\longleftarrow}} {\bot_{\mathrm{Qu}}} sSet_{Qu}$

## Properties

### Monoidal structure

With respect to the degreewise tensor product of abelian groups this is a monoidal model category (Schwede & Shipley 2003, p. 312 (26 of 48)).

### Dold-Kan correspondence

The Dold-Kan correspondence yields (see there for more) a Quillen equivalence to the projective model structure on connective chain complexes.

In fact, much more is true: all five classes of maps in a model category (weak equivalences, (acyclic) cofibrations, and (acyclic) fibrations) are preserved and reflected by both of these equivalences. That is to say, each model structure is obtained from the other one by transferring it along the corresponding equivalence of categories.

## References

Due to:

Further discussion:

Last revised on July 14, 2021 at 06:50:43. See the history of this page for a list of all contributions to it.