In category theory, a branch of mathematics, the opposite category or dual category Cop of a given category C is formed by reversing the morphisms, i.e. interchanging the source and target of each morphism.
V teorii kategorií, oboru matematiky, je opačná kategorie či duální kategorie Cop dané kategorie C utvořena obrácením morfismů , tj. výměnou zdroje a cíle každého morfismu.