The opposite of a category , written , has the same objects and arrows as , but the arrows are reversed in direction (domains become codomains, and viceversa):
in in .
Composition, in is defined as the arrow in (which remember, points in the opposite direction. Direction is defined with the maps, so they are separate from the arrows themselves..)
This allows us to describe a duality principle:
If we have an statement , which holds in . Then, the same statement, but with arrows reversed (and compositions flipped) holds in .
In particular is a category, because the axioms of a category are self-dual.