Abstract
In our previous paper, in order to develop the pointfree theory of compactifications of ordered spaces, we introduced the concept of a proximity on a biframe as a generalization of the concept of a strong inclusion on a biframe. As a natural next step, we introduce the concept of a proximity morphism between proximity biframes. Like in the case of de Vries algebras and proximity frames, we show that the proximity biframes and proximity morphisms between them form a category PrBFrm in which composition is not function composition. We prove that the category KRBFrm of compact regular biframes and biframe homomorphisms is a proper full subcategory of PrBFrm that is equivalent to PrBFrm. We also show that PrBFrm is equivalent to the category PrFrm of proximity frames, and give a simple description of the concept of regularization using the language of proximity biframes. Finally, we describe the dual equivalence of PrBFrm and the category Nach of Nachbin spaces, which provides a direct way to construct compactifications of ordered spaces.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Banaschewski, B.: Compactification of frames. Math. Nachr. 149, 105–115 (1990)
Banaschewski, B., Brümmer, G.C.L.: Stably continuous frames. Math. Proc. Cambridge Philos. Soc. 104, 7–19 (1988)
Banaschewski, B., Brümmer, G.C.L., Hardie, K.A.: Biframes and bispaces. In: Proceedings of the Symposium on Categorical Algebra and Topology (Cape Town, 1981), vol. 6, pp. 13–25 (1983)
Banaschewski, B., Hong, S.S.: Filters and strict extensions of frames . Kyungpook Math. J. 39, 215–230 (1999)
Bezhanishvili, G., Harding, J.: Proximity frames and regularization. Appl. Categ. Struct. 22, 43–78 (2014)
Bezhanishvili, G., Harding, J.: Stable compactifications of frames. Cah. Topol. Geom. Differ. Categ. 55, 37–65 (2014)
Bezhanishvili, G., Morandi, P.J.: Proximity biframes and compactifications of completely regular ordered spaces. Theory Appl. Categ. 30, 1469–1500 (2015)
Blatter, J.: Order compactifications of totally ordered topological spaces. J. Approximation Theory 13, 56–65 (1975)
Blatter, J., Seever, G.L.: Interposition and lattice cones of functions. Trans. Amer. Math. Soc. 222, 65–96 (1976)
Chung, S.H.: Proximity frames and H-completeness . Kyungpook Math. J. 38, 171–180 (1998)
de Vries, H.: Compact spaces and compactifications. An algebraic approach. Ph.D. thesis, University of Amsterdam (1962)
Frith, J., Schauerte, A.: The Samuel compactification for quasi-uniform biframes. Topology Appl. 156, 2116–2122 (2009)
Gierz, G., Hofmann, K.H., Keimel, K., Lawson, J.D., Mislove, M., Scott, D.S.: Continuous Lattices and Domains. Cambridge University Press, Cambridge (2003)
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, Second Ed. Graduate Texts in Mathematics, vol. 5. Springer, New York (1998)
Nachbin, L.: Topology and Order. D. Van Nostrand Co., Inc., Princeton (1965)
Picado, J., Pultr, A.: Frames and Locales. Frontiers in Mathematics. Birkhäuser/Springer, Basel (2012)
Picado, J., Pultr, A.: On strong inclusions and asymmetric proximities in frames. Order 29, 513–531 (2012)
Salbany, S.: Bitopological Spaces, Compactifications and Completions. Mathematical Monographs of the University of Cape Town, NO. 1, Department of Mathematics, University of Cape Town, Cape Town (1974)
Schauerte, A.: Biframe compactifications . Comment. Math. Univ. Carolin. 34, 567–574 (1993)
Smirnov, Y.M.: On proximity spaces. Mat. Sbornik N.S. 31(73), 543–574 (1952). (Russian)
Smyth, M.B.: Stable compactification. I. J. London Math. Soc. 45, 321–340 (1992)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Bezhanishvili, G., Morandi, P.J. Proximity Biframes and Nachbin Spaces. Appl Categor Struct 25, 1077–1095 (2017). https://doi.org/10.1007/s10485-016-9476-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10485-016-9476-5