An (n,0)(n,0)-category is an (n,r)-category that is an n-groupoid.

By the general rules of (n,r)(n,r)-categories, an (n,0)(n,0)-category is an \infty-category such that * any jj-morphism is an equivalence, for j>0j \gt 0; * any two parallel jj-morphisms are equivalent, for j>nj \gt n.

You can start from any notion of \infty-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 (