Strict \infty-groupoids are Grothendieck \infty-groupoids

TL;DR

The paper establishes a canonical, fully faithful functor from strict 0-groupoids to Grothendieck -groupoids, demonstrating that free strict -groupoids are weakly contractible, thus connecting these two frameworks.

Contribution

It constructs a canonical, fully faithful functor from strict -groupoids to Grothendieck -groupoids and proves the weak contractibility of free strict -groupoids.

Findings

Existence of a canonical functor from strict to Grothendieck -groupoids

The functor is fully faithful

Free strict -groupoids on globular pasting schemes are weakly contractible

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.