Abstract
We explore a pointfree theory of bitopological spaces (that is, sets equipped with two topologies). In particular, here we regard finitary biframes as duals of bitopological spaces. In particular for a finitary biframe \(\mathcal {L}\) the ordered collection of all its pointfree bisubspaces (i.e. its biquotients) is studied. It is shown that this collection is bitopological in three meaningful ways. In particular it is shown that, apart from the assembly of a finitary biframe \(\mathcal {L}\), there are two other structures \(\mathsf {A}_{cf}(\mathcal {L})\) and \(\mathsf {A}_{\pm }(\mathcal {L})\), which both have the same main component as \(\mathsf {A}(\mathcal {L})\). The main component of both \(\mathsf {A}_{cf}(\mathcal {L})\) and \(\mathsf {A}_{\pm }(\mathcal {L})\) is the ordered collection of all biquotients of \(\mathcal {L}\). The structure \(\mathsf {A}_{cf}(\mathcal {L})\) being a biframe shows that the collection of all biquotients is generated by the frame of the patch-closed biquotients together with that of the patch-fitted ones. The structure \(\mathsf {A}_{\pm }(\mathcal {L})\) being a biframe shows the collection of all biquotients is generated by the frame of the positive biquotients together with that of the negative ones. Notions of fitness and subfitness for finitary biframes are introduced, and it is shown that the analogues of two characterization theorems for these axioms hold. A spatial, bitopological version of these theorems is proven, in which finitary biframes whose spectrum is pairwise \(T_1\) are characterized, among other things in terms of the spectrum \(\mathsf {bpt}(\mathsf {A}_{cf}(\mathcal {L}))\).
Similar content being viewed by others
References
Suarez, A.: The category of finitary biframes as the category of pointfree bispaces (2020)
Picado, J., Pultr, A.: Frames and Locales: Topology without points. Springer-Birkhäuser, Basel (2012)
Kelly, J.: Bitopological spaces. Proc. Lond. Math. Soc. s3—-13, 71–89 (1963)
Jung, A., Moshier, M.: On the Bitopological Nature of Stone Duality. University of Birmingham (2006)
Bezhanishvili, G., Bezhanishvili, N., Gabelaia, D., Kurz, A.: Bitopological duality for distributive lattices and Heyting algebras. Math. Struct. Comput. Sci. 20, 359–393 (2010)
Banaschewski, B., Brümmer, G., Hardie, K.A.: Biframes and bispaces. Quaest. Math. 6, 13–25 (1983)
Jakl, T.: d-Frames as Algebraic Duals of Bitopological Spaces. Charles University and University of Birmingham (2018)
Johnstone, P.: Stone Spaces. Cambridge University Press (1982)
Isbell, J.: Atomless parts of spaces. Math. Scand. 31, 5–32 (1972)
Schauerte, A.: Biframes. McMaster University (1992)
Moshier, M., Picado, J., Pultr, A.: Generating sublocales by subsets and relations: a tangle of adjunctions. Algebra Univers. 78, 1–14 (2017)
Picado, J., Pultr, A.: (Sub)fit biframes and non-symmetric nearness. Topol. Appl. 168, 66–81 (2014)
Clementino, M., Picado, J., Pultr, A.: The other closure and complete sublocales. Appl. Categ. Struct. 26, 891–906 (2018)
Salbany, S.: Bitopological Spaces, Compactifications and Completions. University of Cape Town, Dept. of Mathematics (1974)
Acknowledgements
I would like to thank the reviewers for their helpful comments, which greatly improved the readability of this paper.
Author information
Authors and Affiliations
Corresponding author
Additional information
Presented by W. Wm. McGovern.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Springer Nature or its licensor holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Suarez, A.L. The assembly of a pointfree bispace and its two variations. Algebra Univers. 83, 40 (2022). https://doi.org/10.1007/s00012-022-00793-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00012-022-00793-2