The assembly of a pointfree bispace and its two variations

DOI10.1007/S00012-022-00793-2zbMATH Open1502.18024arXiv2011.01547OpenAlexW3096243428MaRDI QIDQ2087399FDOQ2087399

Authors: Anna Laura Suarez 

Publication date: 20 October 2022

Published in: Algebra Universalis (Search for Journal in Brave)

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

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

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

zbMATH Keywords

frameassemblybiframebispaceframe congruence

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Frames and Locales
• Bitopological Spaces
• Atomless Parts of Spaces.
• (Sub)fit biframes and non-symmetric nearness.
• Bitopological duality for distributive lattices and Heyting algebras
• BIFRAMES AND BISPACES
• Title not available (Why is that?)
• The other closure and complete sublocales
• The category of finitary biframes as the category of pointfree bispaces
• Generating sublocales by subsets and relations: a tangle of adjunctions

Cited In (3)

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

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)