Galois connection

In mathematics, especially in order theory, a Galois connection is a particular correspondence between two partially ordered sets ("posets"). Galois connections generalize the correspondence between subgroups and subfields investigated in Galois theory. They find applications in various mathematical theories as well as in the theory of programming.

Applications in the theory of programming

Galois connections may be used to describe many forms of abstraction in the theory of abstract interpretation of programming languages.

Related Topics:
Galois connection - Abstract interpretation - Programming language

~ ~ ~ ~ ~ ~ ~ ~ ~ ~