The Brown-Golasinski model structure on strict $\infty$-groupoids revisited

TL;DR

This paper demonstrates that the folk model structure on strict ∞-categories can be transferred to strict ∞-groupoids and aligns with Brown and Golasinski's earlier model via crossed complexes, unifying different approaches.

Contribution

It proves the transfer of the folk model structure to strict ∞-groupoids and shows its equivalence to Brown and Golasinski's model, extending to (∞, n)-categories.

Findings

Model structure on strict ∞-groupoids matches Brown-Golasinski's model

Transfer of folk model structure to strict ∞-categories and groupoids

Unification of different models for strict ∞-groupoids

Abstract

We prove that the folk model structure on strict $\infty$-categories transfers to the category of strict $\infty$-groupoids (and more generally to the category of strict $(\infty, n)$-categories), and that the resulting model structure on strict $\infty$-groupoids coincides with the one defined by Brown and Golasinski via crossed complexes.