nLab StrωGrpd

Context

Higher category theory

higher category theory

1-categorical presentations

$Str \omega Grpd$ denotes the collection of strict ∞-groupoids.

This is an (∞,1)-category, presented by the 1-category of the same name equipped with the model structure on strict ∞-groupoids.

category: category

Created on November 26, 2010 at 19:34:31. See the history of this page for a list of all contributions to it.