Categoría opuesta
![]() | Este artículo o sección necesita referencias que aparezcan en una publicación acreditada. Busca fuentes: «Categoría opuesta» – noticias · libros · académico · imágenes Este aviso fue puesto el 3 de febrero de 2019. |
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, .
Ejemplos
- Un ejemplo resulta al invertir la dirección de la 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:
Datos: Q7098616