Etymology

Galois connection

Today it means: A type of correspondence between partially ordered sets (posets), also applicable to preordered sets. Full definition →

Ask AI about its historyChatGPTClaudePerplexityGoogle AIGrok

The story

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.

Etymology from Wiktionary, CC BY-SA 4.0.