Contents

model category

for ∞-groupoids

group theory

# Contents

## Idea

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

## Definition

###### Proposition

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

## Properties

###### Proposition

Forming simplicial loop space objects and classifying spaces gives a Quillen equivalence

$\big( \Omega \dashv \overline{W} \big) \;\colon\; sGrp \stackrel{\overset{}{\longleftarrow}}{\longrightarrow} sSet_0$

## References

The model structure on simplicial groups is due to

Further discussion is in

Last revised on October 26, 2020 at 05:29:35. See the history of this page for a list of all contributions to it.