The opposite category $\mathcal C^{\text{op}}$ of a category $\mathcal C$ is a category consisting of the same objects as $\mathcal C$, but with morphisms “going in the opposite directions.”
Wikidata ID: Q7098616