Correspondances de Galois et Résiduation: un peu d'histoire

Les notions équivalentes de correspondances de Galois et de résiduation sont présentes dans de nombreux domaines, en mathématiques "pures" ou "appliquées" et en informatique. Apparues explicitement dans le contexte de la théorie des treillis, elles relèvent plus généralement de la théorie des ensembles ordonnés (et encore plus généralement de la théorie des catégories). Après avoir précisé ces notions, leurs liens et leur intérêt, cet exposé s'attachera à leur histoire entre 1940 (avec le livre de Birkhoff Lattice Theory) et 1972 (avec le livre de Blyth et Janowitz Residuation theory).