In mathematics, Esakia duality is the dual equivalence between the category of Heyting algebras and the category of Esakia spaces.
Let H be a Heyting algebra, X denote the set of prime filters of H, and ≤ denote set-theoretic inclusion on the prime filters of H. Also, for each a ∈ H, let φ(a) = {x ∈ X : a ∈ x}, and let τ denote the topology on X generated by {φ(a), X − φ(a) : a ∈ H}.
Theorem:[1] (X, τ, ≤) is an Esakia space, called the Esakia dual of H. Moreover, φ is a Heyting algebra isomorphism from H onto the Heyting algebra of all clopen up-sets of (X,τ,≤).
This representation of Heyting algebras by means of Esakia spaces is functorial and yields a dual equivalence between the categories and Theorem:[1][2][3] HA is dually equivalent to Esa.
The duality can also be expressed in terms of spectral spaces, where it says that the category of Heyting algebras is dually equivalent to the category of Heyting spaces.