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