Abstract
By the de Vries theorem, the category DeV of de Vries algebras is dually equivalent to the category KHaus of compact Hausdorff spaces. By the Isbell theorem, the category KRFrm of compact regular frames is dually equivalent to KHaus. The proofs of both theorems employ the axiom of choice. It is a consequence of the de Vries and Isbell theorems that DeV is equivalent to KRFrm. We give a direct proof of this result, which is choice-free. In the absence of the axiom of countable dependent choice (CDC), the category KCRFrm of compact completely regular frames is a proper subcategory of KRFrm. We introduce the category cDeV of completely regular de Vries algebras, which in the absence of (CDC) is a proper subcategory of DeV, and show that cDeV is equivalent to KCRFrm. Finally, we show how the restriction of the equivalence of DeV and KRFrm works in the zero-dimensional and extremally disconnected cases.
Similar content being viewed by others
References
Banaschewski, B.: Compactification of frames. Math. Nachr. 149, 105–115 (1990)
Banaschewski, B., Mulvey, C.J.: Stone-Čech compactification of locales. I. Houst. J. Math. 6(3), 301–312 (1980)
Banaschewski, B., Pultr, A.: Booleanization. Cah. Topol. Géom. Différ. Catég. 37(1), 41–60 (1996)
Bezhanishvili, G.: Stone duality and Gleason covers through de Vries duality. Topol. Its Appl. 157(6), 1064–1080 (2010)
de Vries, H.: Compact Spaces and Compactifications. An Algebraic Approach. PhD thesis, University of Amsterdam (1962)
Gleason, A.M.: Projective topological spaces. Ill. J. Math. 2, 482–489 (1958)
Isbell, J.R.: Atomless parts of spaces. Math. Scand. 31, 5–32 (1972)
Johnstone, P.T.: Stone Spaces. Cambridge University Press, Cambridge (1982)
Mac Lane, S.: Categories for the Working Mathematician, 2nd edn. Springer, New York (1998)
Smirnov, Y.M.: On proximity spaces. Mat. Sb. N.S. 31(73), 543–574 (1952). Russian
Stone, M.H.: The theory of representations for Boolean algebras. Trans. Am. Math. Soc. 40(1), 37–111 (1936)
Stone, M.H.: Algebraic characterizations of special Boolean rings. Fundam. Math. 29, 223–302 (1937)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Bezhanishvili, G. De Vries Algebras and Compact Regular Frames. Appl Categor Struct 20, 569–582 (2012). https://doi.org/10.1007/s10485-011-9252-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10485-011-9252-5