Opposite category
In category theory, a branch of mathematics, the opposite category or dual category C op {\displaystyle C^{\text{op}}} of a given category C {\displaystyle C} is formed by reversing the morphisms, i.e. interchanging the source and target of each morphism.