Strict \infty-groupoids are Grothendieck \infty-groupoids

Abstract

We show that there exists a canonical functor from the category of strict \infty-groupoids to the category of Grothendieck \infty-groupoids and that this functor is fully faithful. As a main ingredient, we prove that free strict \infty-groupoids on a globular pasting scheme are weakly contractible.

22 pages, v2: revised according to referee's comments, in particular: new organization of the paper

References in corpus (2)

• Grothendieck $\infty$-groupoids, and still another definition of $\infty$-categories
• On the homotopy theory of Grothendieck \infty-groupoids

Cited by in corpus (2)

• Higher quasi-categories vs higher Rezk spaces
• On autoequivalences of the (\infty, 1)-category of \infty-operads