Galois connection
nounEtymology
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.
- derived from mathematician Øystein Ore in 1944
- derived from mathematician Évariste Galois
Definitions
A type of correspondence between partially ordered sets (posets), also applicable to…
A type of correspondence between partially ordered sets (posets), also applicable to preordered sets.
The neighborhood
Vish — recursive loop
No curated loop yet for Galois connection. Loops are being traced one word at a time while the ingestion pipeline matures.
sense glosses and etymology drawn from English Wiktionary · source · CC-BY-SA