In de categorietheorie, een deelgebied van de wiskunde, wordt de tegenovergestelde categorie of duale categorie Cop van een gegeven categorie C gevormd door de morfismen om te keren, dat wil zeggen dat bron en doel van elk morfisme worden verwisseld. Wikipedia