nLab nGrpd

Definition

Context

(,1)(\infty,1)-Category theory

Higher category theory

higher category theory

Basic concepts

Basic theorems

Applications

Models

Morphisms

Functors

Universal constructions

Extra properties and structure

1-categorical presentations

Definition

The (n+1,1)-category nGrpdn Grpd is the collection of all n-groupoids. It is the full sub-(∞,1)-category on the nn-truncated objects in ∞Grpd.

category: category

Last revised on October 26, 2010 at 00:04:02. See the history of this page for a list of all contributions to it.