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.
© 2001-2025 Fundación Dialnet · Todos los derechos reservados