Abstract
By de Vries duality, the category of compact Hausdorff spaces is dually equivalent to the category of de Vries algebras (complete Boolean algebras endowed with a proximity-like relation). We provide an alternative “modal-like” duality by introducing the concept of a Gleason space, which is a pair (X,R), where X is an extremally disconnected compact Hausdorff space and R is an irreducible equivalence relation on X. Our main result states that the category of Gleason spaces is equivalent to the category of compact Hausdorff spaces, and is dually equivalent to the category of de Vries algebras.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Aleksandrov, P.S., Ponomarev, V.I.: Compact extensions of topological spaces (Russian). Vestnik Moskov. Univ. Ser. Mat. Meh. Astr. Fiz. Him. 5, 93–108 (1959)
Balbiani, P., Kikot, S.: Sahlqvist theorems for precontact logics. In: Advances in Modal Logic 9, Papers from the Ninth Conference on “Advances in Modal Logic,” Held in Copenhagen, Denmark, 22–25 August 2012, pp. 55–70 (2012)
Bezhanishvili, G.: Stone duality and Gleason covers through de Vries duality. Topol. Appl. 157(6), 1064–1080 (2010)
Bezhanishvili, G.: De Vries algebras and compact regular frames. Appl. Categ. Struct. 20(6), 569–582 (2012)
Bezhanishvili, G.: Lattice subordinations and Priestley duality. Algebra Univers. 70(4), 359–377 (2013)
Bezhanishvili, G., Bezhanishvili, N., Harding, J.: Modal compact Hausdorff spaces. J. Logic Comput. 80(2), 520–566 (2015)
Bezhanishvili, G., Bezhanishvili, N., Iemhoff, R.: Stable canonical rules. J. Symb. Log. 81(01), 284– 315 (2016)
Bezhanishvili, G., Bezhanishvili, N., Sourabh, S., Venema, Y.: Subordinations, closed relations, and compact Hausdorff spaces. ILLC Prepublication Series, PP-2014-23. Available at http://www.illc.uva.nl/Research/Publications/Reports/PP-2014-23.text.pdf(2014)
Bezhanishvili, G., Harding, J.: Proximity frames and regularization. Appl. Categ. Struct. 81(01), 284–315 (2016)
Bezhanishvili, G., Mines, R., Morandi, P.J.: The Priestley separation axiom for scattered spaces. Order 19(1), 1–10 (2002)
Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2001)
Chagrov, A., Zakharyaschev, M.: Modal Logic, volume 35 of Oxford Logic Guides. The Clarendon Press, New York (1997)
Celani, S.: Quasi-modal algebras. Math. Bohem. 126(4), 721–736 (2001)
de Vries, H.: Compact spaces and compactifications. An algebraic approach. PhD thesis, University of Amsterdam (1962)
Dimov, G.: A de Vries-type duality theorem for the category of locally compact spaces and continuous maps. I. Acta Math. Hungar. 129(4), 314–349 (2010)
Dimov, G., Vakarelov, D.: Topological representation of precontact algebras. In: W. MacCaull, M. Winter, I. Düntsch (eds.) Relational Methods in Computer Science, volume 3929 of Lecture Notes in Computer Science, pp 1–16. Springer, Berlin (2006)
Dimov, G., Vakarelov, D.: Topological representation of precontact algebras and a connected version of the Stone duality theorem—I. Available at http://arxiv.org/pdf/1508.02220v2.pdf (2015)
Düntsch, I., Vakarelov, D.: Region-based theory of discrete spaces: a proximity approach. Ann. Math. Artif. Intell. 49(1–4), 5–14 (2007)
Esakia, L.: Topological Kripke models. Soviet Math. Dokl. 15, 147–151 (1974)
Gleason, A.M.: Projective topological spaces. Ill. J. Math. 2, 482–489 (1958)
Goldblatt, R.: Varieties of complex algebras. Ann. Pure Appl. Logic 44(3), 173–242 (1989)
Halmos, P.R.: Algebraic Logic. Chelsea Publishing Co., New York (1962)
Jónsson, B., Tarski, A.: Boolean algebras with operators. I. Am. J. Math. 73, 891–939 (1951)
Kracht, M.: Tools and Techniques in Modal Logic. North-Holland Publishing Co., Amsterdam (1999)
Mac Lane, S.: Categories for the Working Mathematician, 2nd edn. Springer, New York (1998)
Naimpally, S.A., Warrack, B.D.: Proximity Spaces. Cambridge Tracts in Mathematics and Mathematical Physics, No. 59. Cambridge University Press, London (1970)
Priestley, H.A.: Ordered topological spaces and the representation of distributive lattices. Proc. Lond. Math. Soc. 24, 507–530 (1972)
Sofronie-Stokkermans, V.: Duality and canonical extensions of bounded distributive lattices with operators, and applications to the semantics of non-classical logics I. Stud. Log. 64(1), 93–132 (2000)
Stone, M.H.: The theory of representations for Boolean algebras. Trans. Am. Math. Soc. 40(1), 37–111 (1936)
Stralka, A.: A partially ordered space which is not a Priestley space. Semigroup Forum 20(4), 293–297 (1980)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (https://creativecommons.org/licenses/by/4.0), which permits use, duplication, adaptation, distribution, and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Bezhanishvili, G., Bezhanishvili, N., Sourabh, S. et al. Irreducible Equivalence Relations, Gleason Spaces, and de Vries Duality. Appl Categor Struct 25, 381–401 (2017). https://doi.org/10.1007/s10485-016-9434-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10485-016-9434-2
Keywords
- Compact Hausdorff space
- Stone space
- Extremally disconnected space
- Gleason cover
- Boolean algebra
- Complete Boolean algebra
- Modal algebra
- Proximity