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)$.

Review text

In 1963, \textit{J. C. Kelly} [Proc. Lond. Math. Soc. (3) 13, 71--89 (1963; Zbl 0107.16401)] noted that the lack of symmetry of the quasi-metric leads to the existence of two topologies on the same set. The author, in [J. Pure Appl. Algebra 226, No. 2, Article ID 106783, 39 p. (2022; Zbl 1477.18024)], introduced finitary biframes as pointfree duals of bitopological spaces mainly revolve around the theory of sublocales. For a frame \(L\), the frame \(A(L)\) of the congruences of \(L\) is regarded to be the collection of all pointfree subspaces of \(L\). Embedded in \(A(L)\) one has the subframe of closed congruences (representing closed subspaces of the space \(L\)) and the subframe of fitted congruences, namely, the joins of open congruences (those representing the open subspaces of \(L\)). These two frames generate all of \(A(L)\). Thus, there is a bitopological interplay between closed and fitted subspaces. The central claim of this paper is that for a pointfree subspace \(\mathcal L\) one still has a bitopological interplay between closed and fitted bisubspaces, but next to this one has a bitopological interplay which is orthogonal to this: the interplay between positive and negative bisubspaces of \(\mathcal L\). On the other hand, fitness and subfitness were both 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.

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)