Un appariement entre deux domaines mathématiques dans lequel les objets et morphismes d'un domaine correspondent de manière contravariante aux objets et morphismes de l'autre, souvent en inversant les flèches et en transformant les constructions en constructions duales.

Principe

Une dualité se définit par une équivalence contravariante ou une paire adjointe de foncteurs qui envoient objets vers des objets « duaux » et morphismes vers des morphismes inversés, préservant la composition à isomorphisme près et traduisant les structures entre domaines.

Démonstration

Dualité de Stone : algèbres booléennes ↔ espaces de Stone, où les homomorphismes algébriques correspondent à des applications continues dans la direction opposée ; dualité de Pontryagin : groupes abéliens localement compacts ↔ groupes de caractères, transformant la convolution en multiplication ponctuelle sur le dual.

Mauvaise application

Confondre toute bijection d'ensembles sous-jacents avec une dualité ou supposer que les duaux catégoriques préservent toutes les propriétés telles quelles (ils inversent typiquement limites et colimites, donc un transfert naïf peut échouer).

Conséquence

Fournit de puissants outils de traduction : des problèmes dans une catégorie deviennent souvent plus simples dans la catégorie duale, permettant des théorèmes de représentation, des résultats de classification et de nouveaux invariants définis via le dual.

Inversion

Le point de vue inversé — considérer la même correspondance de façon covariante — fait perdre l'inversion des flèches essentielle à la dualité et conduit généralement à la confusion de constructions distinctes en formes incompatibles.

Limite

S'applique lorsqu'existent des équivalences contravariantes ou des adjonctions duales ; échoue pour des catégories dépourvues de structure suffisante (par ex. sans limites/colimites, ou lorsque les foncteurs ne peuvent pas être rendus équivalences) ou quand les duaux sont partiels ou non fonctoriels.

Tension sémantique

Tension entre la dualité comprise comme équivalence catégorique exacte (dualité forte) et la dualité vue comme une analogie heuristique ou une représentation ne préservant que certaines caractéristiques.

Synthèse

La Correspondance de Dualité est la traduction contravariante structurée entre deux domaines qui inverse les flèches et transforme les constructions en leurs duaux, permettant le transfert d'intuition tout en exigeant vigilance quant aux propriétés catégoriques inversées ou préservées.