Mathematics > Category Theory
[Submitted on 9 Oct 2020 (v1), last revised 12 Oct 2020 (this version, v2)]
Title:The category of finitary biframes as the category of pointfree bispaces
View PDFAbstract: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 $\mathcal{L}$ there is a finitary biframe $\mathsf{A}(\mathcal{L})$ 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 $\mathcal{L}$ (i.e. its pointfree bisubspaces). Furthermore, in the finitary biframe duality the bispace associated with $\mathsf{A}(\mathcal{L})$ is a natural bitopological analogue of the Skula space of the bispace associated with $\mathcal{L}$. 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.
Submission history
From: Anna Laura Suarez [view email][v1] Fri, 9 Oct 2020 15:07:05 UTC (52 KB)
[v2] Mon, 12 Oct 2020 11:06:06 UTC (52 KB)
References & Citations
Bibliographic and Citation Tools
Bibliographic Explorer (What is the Explorer?)
Litmaps (What is Litmaps?)
scite Smart Citations (What are Smart Citations?)
Code, Data and Media Associated with this Article
CatalyzeX Code Finder for Papers (What is CatalyzeX?)
DagsHub (What is DagsHub?)
Gotit.pub (What is GotitPub?)
Papers with Code (What is Papers with Code?)
ScienceCast (What is ScienceCast?)
Demos
Recommenders and Search Tools
Influence Flower (What are Influence Flowers?)
Connected Papers (What is Connected Papers?)
CORE Recommender (What is CORE?)
arXivLabs: experimental projects with community collaborators
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.
Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.
Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.