nLab (n,0)-category

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.

Last revised on June 3, 2011 at 17:04:28. See the history of this page for a list of all contributions to it.