Strict \infty-groupoids are Grothendieck \infty-groupoids
Algebraic Topology
2020-09-07 v2 Category Theory
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.
Cite
@article{arxiv.1212.3085,
title = {Strict \infty-groupoids are Grothendieck \infty-groupoids},
author = {Dimitri Ara},
journal= {arXiv preprint arXiv:1212.3085},
year = {2020}
}
Comments
22 pages, v2: revised according to referee's comments, in particular: new organization of the paper