Catégorie opposée

La catégorie opposée ou catégorie duale C op {\displaystyle C^{\text{op}}} d'une catégorie C {\displaystyle C} donnée est la catégorie formée en inversant les morphismes, c'est-à-dire en échangeant la source et le but de chaque morphisme de C {\displaystyle C}…