En teoría de categorías, una rama de las matemáticas, la categoría opuesta o categoría dual Cop de una categoría C dada se forma invirtiendo los morfismos, es decir, intercambiando el dominio y codominio de cada morfismo. Haciendo esta inversión dos veces se obtiene la categoría original. Simbólicamente, .
Ejemplos Un ejemplo resulta al invertir la dirección de las desigualdades en un orden parcial. La categoría de esquemas afines es equivalente al opuesto de la categoría de anillos conmutativo.
Propiedades El opuesto preserva: Productos: Funtores: Rebanas:
Referencias
Categoría:Teoría de categorías