Opposite Category

Given a category $\mathcal{C}$, its opposite category ${\mathcal{C}}^{\mathrm{op}}$ is the category made up of:

• The objects of $\mathcal{C}$
• Morphisms $f^{\mathrm{op}}:b\to a$ for every $f:a\to b$