Transfors between 2-categories
Morphisms in 2-categories
Structures in 2-categories
Limits in 2-categories
Structures on 2-categories
Higher category theory
higher category theory
Extra properties and structure
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
Revised on May 4, 2013 00:23:47
by Urs Schreiber