Opposite Category

The *opposite category of a Category $\mathcal{C}$ is a category $\mathcal{C}^{mathrm{op}}$ where

• Objects are objects of $\mathcal{C}$
• Morphisms ${{X}\to{Y}}$ are morphisms ${{Y}\to{X}}$