Duale Kategorie

In der Mathematik ordnet man jeder Kategorie eine duale Kategorie zu, die im Wesentlichen dadurch entsteht, dass man alle Pfeile (das heißt Morphismen) umdreht. Die einfache Tatsache, dass dadurch wieder eine Kategorie entsteht, führt zu einem Dualitätsprinzip, das einerseits zu jeder kategorientheoretischen Definition eine entsprechende duale Definition liefert und andererseits den Beweisaufwand durch Übergang zur dualen Kategorie verringert.