Strict \(\infty\)-groupoids are Grothendieck \(\infty\)-groupoids (Q392224)

The purpose of this paper is to prove that strict \(\infty\)-groupoids are Grothendieck \(\infty\)-groupoids or, more precisely, that there exists a canonical fully faithful functor from the category of strict \(\infty\)-groupoids to the category of Grothendieck \(\infty\)-groupoids. Roughly speaking, a Grothendieck \(\infty\)-groupoid is an \(\infty\)-graph endowed with operations similar to the one of strict \(\infty\)-groupoids, with coherences. The main technical part of the paper, given in the fifth section, is that the free strict \(\infty\)-groupoid on the \(n\)-disk is weakly contractible. In the seventh section, the author gives conditions on a globular extension to get a fully faithful functor from strict \(\infty\)-groupoids to globular presheaves on this globular extension. In the last section, he states the existence of a canonical fully faithful functor from strict \(\infty\)-groupoids to Grothendieck \(\infty\)-groupoids.