By the general rules of -categories, a -category is an -category such that
any -morphism is an equivalence, for ;
any two parallel -morphisms are equivalent, for .
You can start from any notion of -category, strict or weak; up to equivalence, the result can always be understood as a locally groupoidal -category.
So, a (2,1)-category is in particular modeled by
a 2-category in which all 2-morphisms are invertible;
an (∞,1)-category that is 2-truncated.
Last revised on May 13, 2015 at 00:06:35. See the history of this page for a list of all contributions to it.