The category of finitary biframes as the category of pointfree bispaces

DOI10.1016/J.JPAA.2021.106783MaRDI QIDQ1979276zbMATH OpenOpenAlexFDO

Authors Anna Laura Suarez

Publication date 2 September 2021

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2010.04622

zbMATH Keywords

biframebispaced-frameframelocalesublocale

Mathematics Subject Classification ID

Frames, locales (06D22) Frames and locales, pointfree topology, Stone duality (18F70)

Abstract: The theory of finitary biframes as order-theoretical duals of bitopological spaces is explored. The category of finitary biframes is a coreflective subcategory of that of biframes. Some of the advantages of adopting finitary biframes as a pointfree notion of bispaces are studied. In particular, it is shown that for every finitary biframe there is a biframe which plays a role analogue to that of the assembly in the theory of frames: for every finitary biframe $mathcalL$ there is a finitary biframe $mathsfA(mathcalL)$ with a universal property analogous to that of the assembly of a frame; and such that its main component is isomorphic to the ordered collection of finitary quotients of $mathcalL$ (i.e. its pointfree bisubspaces). Furthermore, in the finitary biframe duality the bispace associated with $mathsfA(mathcalL)$ is a natural bitopological analogue of the Skula space of the bispace associated with $mathcalL$. The finitary biframe duality gives us a notion of bisobriety which is weaker than pairwise Hausdorffness, incomparable with the pairwise $T_1$ axiom, and stronger than the pairwise $T_0$ axiom. The notion of pairwise $T_D$ bispaces is introduced, as a natural point-set generalization of the classical $T_D$ axiom. It is shown that in the finitary biframe duality this axiom plays a role analogous to that of the classical $T_D$ axiom for the frame duality.

Review text

The notion of point-free bispace is not new, as the author mentioned there exists good accounts concerning the subject. In this interesting investigation, is presented to us some frame theoretic classical results into the finitary biframe context. One of the highlights of the investigation is the notion of the assembly for a finitary biframe (and for a d-frame), besides the author also show the adjoint situation with finitary biframes and bitopological spaces as a consequence we have the bispatial reflection and the bisoberification for these objects. The presentation of the article is self-contained enough to understend the principal sections. At the end of the article, it is show the clasical result for the Boolianity of the assembly of a finitary biframe, these facts make the investigation worth reading

Recommendations

• The assembly of a pointfree bispace and its two variations
• Proximity biframes and Nachbin spaces
• A Hofmann-Mislove theorem for bitopological spaces
• A bitopological point-free approach to compactifications
• scientific article; zbMATH DE number 495569

Cites work

• An extension of the Galois theory of Grothendieck
• Atomless Parts of Spaces.
• Axiom T_D and the Simmons sublocale theorem
• BIFRAMES AND BISPACES
• Bitopological duality for distributive lattices and Heyting algebras
• Choice-free Stone duality
• Frames and Locales
• General Stone duality.
• Generating sublocales by subsets and relations: a tangle of adjunctions
• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• scientific article; zbMATH DE number 3549841 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• Normality for biframes
• Ordered Topological Spaces and the Representation of Distributive Lattices
• Representation of Distributive Lattices by means of ordered Stone Spaces
• Spatial sublocales and essential primes
• Stone duality, topological algebra, and recognition.
• The frame of nuclei on an Alexandroff space
• The other closure and complete sublocales
• The point of pointless topology
• Topological representations of distributive lattices and Brouwerian logics
• When is the frame of nuclei spatial: a new approach

Cited in

(4)

• The assembly of a pointfree bispace and its two variations
• Finitary birepresentations of finitary bicategories
• scientific article; zbMATH DE number 495569 (Why is no real title available?)
• Pervin spaces and Frith frames: bitopological aspects and completion

This page was built for publication: The category of finitary biframes as the category of pointfree bispaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1979276)