nLab (1,0)-category

Context

Higher category theory

higher category theory

1-categorical presentations

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

• any $j$-morphism is an equivalence, for $j \gt 0$;
• any two parallel $j$-morphisms are equivalent, for $j \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.

Last revised on October 16, 2016 at 09:11:00. See the history of this page for a list of all contributions to it.