Given a category , we may form another category , called the opposite category or the dual category by 'reversing all the morphisms of .
Formally we define by:
- Every morphism in is associated to a unique morphism in (and every morphism in is equal to for some in ).
- For any and the composition of and is definied by:
It is know easy to verify that is a category:
- Given , and we have:
- For any we claim that the identity morphism on is just . Indeed, for any , we have:
The existence of the opposite category allows us to prove the duality principle which roughly states that: for any 'theorem' provable from the axioms of category theory, it's dual statement (i.e. the statement formed by 'replacing every morphism with a morphism pointing in the other direction') is also true (and can be proved by going through the exact same proof in the opposite category).
Similarly, given any construction or definition in category theory, we can from a dual concept in the same way (by defining that concept in the opposite category). The dual of a concept sometimes named by attaching the prefix co- to the name of the original concept (for instance, the dual of a limit is called a colimit).