nLab model structure on strict omega-groupoids

Contents

Context

Model category theory

model category, model \infty -category

Definitions

Morphisms

Universal constructions

Refinements

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

Contents

Idea

There is a cofibrantly generated (“folk”) model structure on the category of strict ∞-groupoids, equivalently that of crossed complexes.

It is the transferred model structure along the forgetful functor of the model structure on strict ∞-categories.

References

The model structure was given in

The relation to the model structure on strict ω\omega-categories was established in

  • Dimitri Ara, Francois Metayer, The Brown-Golasinski model structure on \infty-groupoids revisited (pdf) Homology, Homotopy Appl. 13 (2011), no. 1, 121–142.

Last revised on January 20, 2015 at 12:57:26. See the history of this page for a list of all contributions to it.