model category

for ∞-groupoids

# Contents

## Idea

The model structure on simplicial groups is a presentation of the ∞-groups in ∞Grpd $\simeq$ Top. See group object in an (∞,1)-category.

## Definition

There is a model category structure on the category $sGrpd$ of simplicial groups where a morphism is

## Properties

Forming loop space objects and classifying spaces provides a Quillen equivalence

$(\Omega \dashv \bar W) : sGrp \stackrel{\overset{}{\leftarrow}}{\to} sSet_0$

## References

The general theory is in chapter V of

• Paul Goerss and J. F. Jardine, 1999, Simplicial Homotopy Theory, number 174 in Progress in Mathematics, Birkhauser. (ps)

The Quillen equivalence is in proposition 6.3.

Revised on February 21, 2011 18:13:11 by Urs Schreiber (89.204.137.76)