Galois connection
Noun
Meaning
Galois connection (plural Galois connections)
(category theory, order theory) A type of correspondence between partially ordered sets (posets), also applicable to preordered sets.
Examples
A pair of adjoint functors between two partially ordered sets is called a Galois connection (or, if it is contravariant, an antitone Galois connection).
Any Galois connection gives rise to closure operators and to inverse order-preserving bijections between the corresponding closed elements.
Thus, in particular, forming the annihilator is a Galois connection on the lattice of subsets of a finite-dimensional vector space.