The assembly of a pointfree bispace and its two variations

DOI10.1007/S00012-022-00793-2MaRDI QIDQ2087399zbMATH OpenOpenAlexFDO

Authors Anna Laura Suarez

Publication date 20 October 2022

Published in Algebra Universalis (Search for Journal in Brave)

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

zbMATH Keywords

assemblybiframebispaceframeframe congruence

Mathematics Subject Classification ID

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

Abstract: The duality of finitary biframes as pointfree bitopological spaces is explored. In particular, for a finitary biframe $mathcalL$ 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 $mathsfA(mathcalL)$ of a finitary biframe $mathcalL$, there are two other structures $mathsf{A}_{cf}(mathcalL)$ and $mathsf{A}_{pm}(mathcalL)$, which both have the same main component as $mathsfA(mathcalL)$. The main component of both $mathsf{A}_{cf}(mathcalL)$ and $mathsf{A}_{pm}(mathcalL)$ is the ordered collection of all biquotients of $mathcalL$. The structure $mathsf{A}_{cf}(mathcalL)$ 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}(mathcalL)$ 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 both characterization theorems for these axioms appearing in Picado and Pultr (2011) 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 of $mathsf{A}_{cf}(mathcalL)$.

Recommendations

• The category of finitary biframes as the category of pointfree bispaces
• A Hofmann-Mislove theorem for bitopological spaces
• A Hofmann-Mislove theorem for bitopological spaces
• New aspects of subfitness in frames and spaces
• The reals as full and balanced biframe
• scientific article; zbMATH DE number 1033887
• An elusive example in non-symmetric topology
• Join-continuous frames, Priestley's duality and biframes
• The Samuel compactification for quasi-uniform biframes
• On an aspect of scatteredness in the point-free setting

Cites work

• (Sub)fit biframes and non-symmetric nearness.
• Atomless Parts of Spaces.
• BIFRAMES AND BISPACES
• Bitopological duality for distributive lattices and Heyting algebras
• Bitopological Spaces
• Frames and Locales
• 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?)
• The category of finitary biframes as the category of pointfree bispaces
• The other closure and complete sublocales

Cited in

(3)

• The category of finitary biframes as the category of pointfree bispaces
• On Isbell's density theorem for bitopological pointfree spaces. I
• An asymmetric approach to filters in strict extensions and quotients

This page was built for publication: The assembly of a pointfree bispace and its two variations

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