2-category theory MOC

Duality of 2-categories

There are three different ways to generalize opposite category to a 2-category ℭ: #m/def/cat/2

1. The 1-morphism dual or opposite 2-category ℭop, which has 1-morphisms reversed;
2. The 2-morphism dual or conjugate 2-category ℭco, which has 2-morphisms reversed;
3. The {1,2}-morphism dual ℭcoop, which has all morphisms reversed.

#state/develop | #lang/en | #SemBr