nLab
(1,0)-category

By the general rules of $(n,r)$-categories, a $(1,0)$-category is an $\mathrm{\infty }$-category such that

• any $j$-morphism is an equivalence, for $j>0$;
• any two parallel $j$-morphisms are equivalent, for $j>1$.

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