Categoría opuesta

En teoría de categorías, una rama de las matemáticas, la categoría opuesta o categoría dual C^op 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, ${displaystyle (C^{ ext{op}})^{ ext{op}}=C}$.

El opuesto preserva: