Definition:Dual Category

Definition
Let $\mathbf C$ be a metacategory.

Its dual category, denoted $\mathbf C^{\text{op} }$, is defined as follows:

It can be seen that this comes down to the metacategory obtained by reversing the direction of all morphisms of $\mathbf C$.

That such is a sensical definition is shown on Dual Category is Category.

Also known as
Many authors call $\mathbf C^{\text{op}}$ the opposite category of $\mathbf C$.

Others use e.g. $f^*$ in place of $f^{\text{op} }$. As the character $*$ is used so often already in mathematics, the second form is preferred on ProofWiki.