Definition. Opposite Bicategory
The opposite of a bicategory has the same 0-cells and reverses the 1-cells but not the 2-cells:
Composition swaps its arguments, . The left unitor of is the right unitor of and vice versa, and the associator of is the inverse of the associator of , with its arguments reversed.
Since the 2-cells keep their direction, a lax functor induces a lax (not oplax) functor with the same action on cells. Reversing the 2-cells instead gives the bicategory , whose hom-categories are the opposites .
Duality saves work: a coherence lemma about can often be obtained by instantiating a companion lemma at , which swaps left and right.