Grothendieck $\infty$-groupoids, and still another definition of $\infty$-categories
From MaRDI portal
Publication:6220643
arXiv1009.2331MaRDI QIDQ6220643
Publication date: 13 September 2010
Classification of homotopy type (55P15) Homotopy groups, general; sets of homotopy classes (55Q05) Theories (e.g., algebraic theories), structure, and semantics (18C10)
This page was built for publication: Grothendieck $\infty$-groupoids, and still another definition of $\infty$-categories