Galois connections
Galois connections is the plural of Galois connection.
Meaning of Galois connection
Noun
Galois connection (plural Galois connections)
- A type of correspondence between partially ordered sets (posets), also applicable to preordered sets.
- Define maps G:A→B and F:B→A by G(a)=y!∈!Y|∀x!∈!axρy and F(b)=x!∈!X|∀y!∈!bxρy. Then (F,G) is called a Galois connection of the first kind.1986, Horst Herrlich, Miroslav Hušek, Galois Connections, Austin Melton, Mathematical Foundation of Programming Semantics: International Conference, Proceedings, Springer, Lecture Notes in Computer...
Questions about Galois connections
- What is Galois connections the plural of?
- Galois connections is the plural of Galois connection.
Words near Galois connections in the dictionary
Source and license
Adapted from Wiktionary: Galois connections (page history and authors); Galois connection (page history and authors). Text available under the Creative Commons Attribution-ShareAlike 4.0 license. Word.ws reformatted the entry and added links. Wiktionary data of 2026-09-02.
Last updated:
Cite this entry: “Galois connections.” Word.ws, https://word.ws/galois_connections. Based on Wiktionary, CC BY-SA 4.0.
