Categoría opuesta

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, .

EjemplosEditar

PropiedadesEditar

El opuesto preserva:

  • Productos:  
  • Funtores: