Dualité

Une relation qui associe à chaque objet (et morphisme) d'un contexte mathématique un objet dual (et morphisme dual) dans un autre ou le même contexte, renversant typiquement le sens des flèches ou l'ordre et produisant une équivalence contravariante involutive ou une correspondance.

Une correspondance contravariante entre structures mathématiques, souvent des catégories, qui associe à chaque objet et morphisme des contreparties duales en inversant systématiquement la direction des flèches tout en préservant les relations et propriétés structurales essentielles.