Resumen de Strict -groupoids are Grothendieck -groupoids

Dimitri Ara

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