Document Type
Article
Publication Date
2010
Abstract
We introduce pairwise Stone spaces as a natural bitopological generalization of Stone spaces—the duals of Boolean algebras—and show that they are exactly the bitopological duals of bounded distributive lattices. The category PStone of pairwise Stone spaces is isomorphic to the category Spec of spectral spaces and to the category Pries of Priestley spaces. In fact, the isomorphism of Spec and Pries is most naturally seen through PStone by first establishing that Pries is isomorphic to PStone, and then showing that PStone is isomorphic to Spec. We provide the bitopological and spectral descriptions of many algebraic concepts important for the study of distributive lattices. We also give new bitopological and spectral dualities for Heyting algebras, co-Heyting algebras, and bi-Heyting algebras, thus providing two new alternatives of Esakia’s duality.
Recommended Citation
G. Bezhanishvili, N. Bezhanishvili, D. Gabelaia, and A. Kurz, “Bitopological duality for distributive lattices and Heyting algebras,” Mathematical Structures in Computer Science, vol. 20, no. 03, pp. 359–393, Jun. 2010. DOI: 10.1017/S0960129509990302
Copyright
Cambridge University Press
Included in
Algebra Commons, Logic and Foundations Commons, Other Computer Engineering Commons, Other Computer Sciences Commons, Other Mathematics Commons
Comments
This is a pre-copy-editing, author-produced PDF of an article accepted for publication in Mathematical Structures in Computer Science, volume 20, number 3, in 2010 following peer review. The definitive publisher-authenticated version is available online at DOI: 10.1017/S0960129509990302.