nLab
simplicial groupoid

Context

Higher category theory

higher category theory

Basic concepts

Basic theorems

Applications

Models

Morphisms

Functors

Universal constructions

Extra properties and structure

1-categorical presentations

Contents

Idea

Simplicial groupoids pair the concepts of groupoids and simplicial sets. Via the Dwyer-Kan loop groupoid functor (Dwyer-Kan 84) their homotopy theory is equivalent to the classical homotopy theory of simplicial sets/Kan complexes (both being models for infinity-groupoids).

Definition

It is probably best to distinguish between the following:

(For a discussion of the terminology of simplicial groupoid and simplicial category, see the entry on the second of these.)

Any simplicially enriched groupoid yields a simplicial groupoid in which the face and degeneracy operators are constant on objects and it is often in this latter form that they are met in homotopy theory.

(Of course, what is ‘best’ is not always done in the literature, so the reader is best advised to check the meaning being used when the term is met in an article or text.)

Remarks

References

  • W. G. Dwyer and D. M. Kan, Homotopy theory and simplicial groupoids, Nederl. Akad. Wetensch. Indag. Math., 46, (1984), 379 – 385,

  • Philip Ehlers, Simplicial groupoids as models for homotopy type Master’s thesis (1991) (pdf)

Revised on February 20, 2017 07:11:52 by Urs Schreiber (94.220.94.100)