Tegenovergestelde categorie

In de categorietheorie, een deelgebied van de wiskunde, wordt de tegenovergestelde categorie of duale categorie C^op van een gegeven categorie C gevormd door de morfismen om te keren, dat wil zeggen dat bron en doel van elk morfisme worden verwisseld. Deze omkering twee keer uitvoeren levert weer de oorspronkelijke categorie op, dat wil dus zeggen dat de tegenovergestelde categorie van de tegenovergestelde categorie weer de oorspronkelijke categorie zelf is. In symbolen, C^{op op} = C.