2-category theory MOC

Duality of 2-categories

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

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

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