Varieties of simplicial groupoids I: Crossed complexes Original Research Article

It is usual to use algebraic models for homotopy types. Simplicial groupoids provide such a model. Other partial models include the crossed complexes of Brown and Higgins. In this paper, the simplicial groupoids that correspond to crossed complexes are shown to form a variety within the category of all simplicial groupoids and the corresponding verbal subgroupoid is identified.