Galois connection

English dictionary entry

Meanings

noun
  1. A type of correspondence between partially ordered sets (posets), also applicable to preordered sets.

Word forms

Galois connection Galois connections Galois connexion

Etymology

From Galois (attributive form of Galois theory) + connection; ultimately after French mathematician Évariste Galois. Coined by Norwegian mathematician Øystein Ore in 1944, Galois connexions, Transactions of the American Mathematical Society, 55, pages 493-513.

This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.