nLab
Infinity-Grpd

The (∞,1)-category $\mathrm{\infty }\mathrm{Grpd}$ has as objects ∞-groupoids, i.e. (∞,0)-categories.

As a Kan complex enriched category $\mathrm{\infty }\mathrm{Grpd}$ is the full SSet-enriched subcategory of SSet on Kan complexes.

category: category