Un emparejamiento entre dos dominios matemáticos en el que objetos y morfismos en un dominio corresponden contravariantemente a objetos y morfismos en el otro, invirtiendo a menudo flechas y transformando construcciones en construcciones duales.

Principio

Una dualidad viene dada por una equivalencia contravariante o un par adjunto de funtores que envían objetos a objetos 'duales' y morfismos a morfismos invertidos, preservando la composición hasta isomorfismo y traduciendo estructuras entre dominios.

Demostración

Dualidad de Stone: álgebras booleanas ↔ espacios de Stone, donde homomorfismos algebraicos corresponden a mapas continuos en dirección opuesta; dualidad de Pontryagin: grupos abelianos localmente compactos ↔ sus grupos de caracteres, transformando la convolución en multiplicación puntual en el dual.

Aplicación incorrecta

Tratar cualquier biyectividad de conjuntos subyacentes como una dualidad o suponer que los duales categóricos preservan todas las propiedades sin cambio (típicamente invierten límites y colímites, por lo que el traslado ingenuo puede fallar).

Consecuencia

Ofrece potentes herramientas de traducción: problemas en una categoría suelen simplificarse en la categoría dual, posibilitando teoremas de representación, resultados de clasificación y nuevos invariantes definidos vía el dual.

Inversión

La perspectiva invertida —considerar la misma correspondencia covariantemente— pierde la inversión de flechas esencial en la dualidad y suele colapsar construcciones distintas en formas incompatibles.

Límite

Se aplica donde existen equivalencias contravariantes o adjunciones duales; falla para categorías sin estructura suficiente (p. ej. sin límites/colímites, o donde los funtores no pueden convertirse en equivalencias) o cuando los duales son parciales o no funcionale.

Tensión semántica

Tensión entre la dualidad vista como una equivalencia categórica exacta (dualidad fuerte) y la dualidad entendida como analogía heurística o representación que preserva solo características seleccionadas.

Síntesis

La Correspondencia de Dualidad es la traducción contravariante estructurada entre dos dominios que invierte flechas y transforma construcciones en sus duales, permitiendo transferir intuición con atención a las propiedades categóricas que se invierten o preservan.