# nLab nGrpd

Definition

### Context

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

(∞,1)-category theory

Background

Basic concepts

Universal constructions

Local presentation

Theorems

Extra stuff, structure, properties

Models

#### Higher category theory

higher category theory

## Definition

The (n+1,1)-category $n Grpd$ is the collection of all n-groupoids. It is the full sub-(∞,1)-category on the $n$-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.