Opposite category (source code)

= Opposite category
{title2=$\mathcal C^{\mathrm{op}}$}
{wiki}

The opposite category reverses every morphism while retaining the same objects. Limits in $\mathcal C^{\mathrm{op}}$ are colimits in $\mathcal C$, and conversely.