An -category is an (n,r)-category that is an n-groupoid.
By the general rules of -categories, an -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 the same as an n-groupoid with a corresponding level of strictness.
Revised on June 3, 2011 17:04:28
by Urs Schreiber