nLab
(1,0)-category
Context
Higher category theory
higher category theory
Basic concepts
Basic theorems
Applications
Models
Morphisms
Functors
Universal constructions
Extra properties and structure
1-categorical presentations
By the general rules of -categories, a -category is an -category such that
- any -morphism is an equivalence, for ;
- any two parallel -morphisms are equivalent, for .
You can start from any notion of -category, strict or weak; up to equivalence, the result is always the same as a groupoid.
Last revised on August 25, 2021 at 09:19:37.
See the history of this page for a list of all contributions to it.