By the general rules of (n,r)(n,r)-categories, a (1,0)(1,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>1j \gt 1.

You can start from any notion of \infty-category, strict or weak; up to equivalence, the result is always the same as a groupoid.

Revised on September 15, 2009 18:57:45 by Urs Schreiber (