In mathematics, Esakia spaces are special ordered topological spaces introduced and studied by Leo Esakia in 1974.[1] Esakia spaces play a fundamental role in the study of Heyting algebras, primarily by virtue of the Esakia duality—the dual equivalence between the category of Heyting algebras and the category of Esakia spaces.