nLab
nGrpd

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

Revised on October 26, 2010 00:04:02 by David Roberts (203.24.207.143)