Background
Basic concepts
equivalences in/of -categories
Universal constructions
Local presentation
Theorems
Extra stuff, structure, properties
Models
homotopy hypothesis-theorem
delooping hypothesis-theorem
stabilization hypothesis-theorem
The (n+1,1)-category is the collection of all n-groupoids. It is the full sub-(∞,1)-category on the -truncated objects in ∞Grpd.
Last revised on October 26, 2010 at 00:04:02. See the history of this page for a list of all contributions to it.