Grothendieck $\infty$-groupoids, and still another definition of $\infty$-categories

From MaRDI portal
Publication:6220643