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.
Formalmente,
op
El opuesto preserva: