nLab
(1,0)-category

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 (80.187.149.88)