nLab
StrωGrpd

Context

Higher category theory

higher category theory

Basic concepts

Basic theorems

Applications

Models

Morphisms

Functors

Universal constructions

Extra properties and structure

1-categorical presentations

StrωGrpdStr \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 19:42:42 by Urs Schreiber (82.113.106.5)