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.
In mathematics, Esakiaspaces are special ordered topological spaces introduced and studied by Leo Esakia in 1974. Esakiaspaces play a fundamental role...
mathematics, Esakia duality is the dual equivalence between the category of Heyting algebras and the category of Esakiaspaces. Esakia duality provides...
McKinsey–Tarski topology. The Esakia duality can be recovered via a functor that replaces the field of sets with the Boolean space it generates. Via a functor...
Heyting algebras is dually equivalent to the category of Esakiaspaces. This is called Esakia duality. "Pseudo-Boolean algebra - Encyclopedia of Mathematics"...
theorem Stone's representation theorem for Boolean algebras Stone duality Esakia duality Stone (1938) Stone (1938), Johnstone (1982) Stone (1938), Johnstone...
doi:10.1090/S0002-9904-1970-12400-4. hdl:10150/288016. Jaoshvili, Alexander; Esakia, Andria; Porrati, Massimo; Chaikin, Paul M. (2010). "Experiments on the...