Higher category theory
higher category theory
Extra properties and structure
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.