2 problems

Let Grothendieck $infty$-groupoids be the algebraic structures introduced to model weak $infty$-groupoids, and let homotopy types be represented by spaces or topological spaces. Gr…

Grothendieck's homotopy hypothesis. The functor