A semi-model structure for Grothendieck weak 3-groupoids

Abstract

In this paper we apply some tools developed in our previous work on Grothendieck $\infty$-groupoids to the finite-dimensional case of weak 3-groupoids. We obtain a semi-model structure on the category of Grothendieck 3-groupoids of suitable type, thanks to the construction of an endofunctor $\mathbb{P}$ that has enough structure to behave like a path object. This makes use of a recognition principle we prove here that characterizes globular theories whose models can be viewed as Grothendieck $n$-groupoids (for $0\le n\le \infty$). Finally, we prove that the obstruction in arbitrary dimension (possibly infinite) only resides in the construction of (slightly less than) a path object on a suitable category of Grothendieck (weak) $n$-categories with weak inverses. This also gives a sufficient condition for endowing an $n$-groupoid à la Batanin with the structure of a Grothendieck $n$-groupoid.

References in corpus (5)

• Algebraic weak factorisation systems II: categories of weak maps
• Grothendieck $\infty$-groupoids, and still another definition of $\infty$-categories
• On the homotopy theory of Grothendieck \infty-groupoids
• Algebraic models of homotopy types and the homotopy hypothesis
• Note on the construction of globular weak omega-groupoids from types, topological spaces etc