Abstract
The concepts of Booleanization and of smallest dense quotient are explored in the context of d-frames. These two notions coincide for frames, but bitopologically they turn out to be different. The approach followed here is different from that in (Moshier in On Isbell’s density theorem for bitopological pointfree spaces I 273:106962, 2020), in which the smallest dense extremal epimorphism of a d-frame is described. Here, we consider the lattice of all quotients of a d-frame, extremal and nonextremal. Here, it is shown that for corrigible d-frames there is a smallest dense quotient, and it is shown that this coincides with the Booleanization of a d-frame: this is a construction which, as in the frame theoretical case, gives us the Boolean reflection of a d-frame in a suitable subcategory of the category of d-frames.
Similar content being viewed by others
References
Banaschewski, B., Brümmer, G.C., Hardie, K.A.: Biframes and bispaces. Quaest. Math. 6(1–3), 13–25 (1983)
Banaschewski, B., Pultr, A.: Booleanization. Cahiers de Topologie et Géométrie Différentielle Catógoriques 37(1), 41–60 (1996)
Beazer, R., Macnab, D.S.: Modal extensions of heyting algebras. Colloquium Math 41(1), 1–12 (1979)
Isbell, J.R.: Atomless parts of spaces. Math. Scand. 31, 5–32 (1972)
Jakl, T. d-Frames as algebraic duals of bitopological spaces. PhD thesis, Charles University and University of Birmingham, (2018)
Jakl, T., Jung, A., Pultr, A.: Quotients of d-frames. Appl. Categ. Struct. 27, 261–275 (2019)
Johnstone, P. T.: Stone Spaces, vol. 3 of Cambridge Studies in Advanced Mathematics. Cambridge University Press, (1982)
Jung, A., and Moshier, M. A.: On the bitopological nature of Stone duality. Tech. Rep. CSR-06-13, University of Birmingham, 110 (2006)
Moshier, M.A., Mozo Carollo, I., Walters-Wayland, J.: On Isbell’s density theorem for bitopological pointfree spaces I. Topol. Appl. 273, 106962 (2020)
Picado, J., Pultr, A.: Frames and locales topology without points. Springer, Birkhäuser Basel (2012)
Schauerte, A.: Biframes. PhD thesis, McMaster University, Hamilton, Ontario, (1992)
Suarez, A. L.: Pointfree bispaces and pointfree bisubspaces. PhD thesis, University of Birmingham, (2021)
Author information
Authors and Affiliations
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Communicated by: Maria Manuel Clementino.
Rights and permissions
About this article
Cite this article
Suarez, A.L. The Booleanization of a d-frame. Appl Categor Struct 30, 485–497 (2022). https://doi.org/10.1007/s10485-021-09663-9
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10485-021-09663-9