Editing Galois connection (section)

== Closure operators and Galois connections ==
The above findings can be summarized as follows: for a Galois connection, the composite {{math|&thinsp;''f''<sub>∗</sub>∘&thinsp;''f''&nbsp;<sup>∗</sup>}} is monotone (being the composite of monotone functions), inflationary, and idempotent. This states that {{math|&thinsp;''f''<sub>∗</sub>∘&thinsp;''f''&nbsp;<sup>∗</sup>}} is in fact a [[closure operator]] on {{mvar|A}}. Dually, {{math|&thinsp;''f''&nbsp;<sup>∗</sup>∘&thinsp;''f''<sub>∗</sub>}} is monotone, deflationary, and idempotent. Such mappings are sometimes called '''kernel operators'''. In the context of [[frames and locales]], the composite {{math|&thinsp;''f''<sub>∗</sub>∘&thinsp;''f''&nbsp;<sup>∗</sup>}} is called the '''nucleus''' induced by {{math|&thinsp;''f''&nbsp;}}. Nuclei induce frame homomorphisms; a subset of a locale is called a sublocale if it is given by a nucleus.

[[Converse (logic)|Conversely]], any closure operator {{mvar|c}} on some poset {{mvar|A}} gives rise to the Galois connection with lower adjoint {{math|&thinsp;''f''&nbsp;<sup>∗</sup>}} being just the corestriction of {{mvar|c}} to the image of {{mvar|c}} (i.e. as a [[surjective]] mapping the closure system {{math|''c''(''A'')}}). The upper adjoint {{math|&thinsp;''f''<sub>∗</sub>}} is then given by the [[inclusion map|inclusion]] of {{math|''c''(''A'')}} into {{mvar|A}}, that maps each closed element to itself, considered as an element of {{mvar|A}}. In this way, closure operators and Galois connections are seen to be closely related, each specifying an instance of the other. Similar conclusions hold true for kernel operators.

The above considerations also show that closed elements of {{mvar|A}} (elements {{mvar|x}} with {{math|&thinsp;''f''<sub>∗</sub>(&thinsp;''f''&nbsp;<sup>∗</sup>(''x'')) {{=}} ''x''}}) are mapped to elements within the range of the kernel operator {{math|&thinsp;''f''&nbsp;<sup>∗</sup>∘&thinsp;''f''<sub>∗</sub>}}, and vice versa.