Mathematics > Category Theory
[Submitted on 22 May 2024]
Title:Raney extensions of frames: topological aspects
View PDF HTML (experimental)Abstract:We explore a pointfree approach to spaces which extends the category of $T_0$ spaces. Our pointfree objects are Raney extensions, pairs $(L,C)$ where $C$ is a coframe, $L\subseteq C$ is a frame which meet-generates it, and the inclusion $L\subseteq C$ preserves the frame operations as well as the strongly exact meets. We show that the category $\mathbf{Raney}$ extends that of $T_0$ spaces, by showing the existence of an adjunction which extends that between frames and spaces. We map a space $X$ to the pair $(\Omega(X),\mathcal{U}(X))$, where $\Omega(X)$ are its opens and $\mathcal{U}(X)$ its saturated sets. The spectrum functor $\mathsf{pt}_R$ maps a Raney extension $(L,C)$ to the collection of completely join-prime elements of $C$, suitably topologized. For a frame $L$ the spectra of the largest and the smallest Raney extensions over it are, respectively, the classical spectrum $\mathsf{pt}(L)$ and the $T_D$ spectrum $\mathsf{pt}_D(L)$.
We characterize sobriety as well as the $T_D$ and the $T_1$ axioms for spaces in terms of algebraic properties of their Raney duals. We use this to define sobriety for general Raney extensions, as well as the $T_D$ and $T_1$ properties, and show that a sober coreflection always exists, whereas a $T_D$ reflection exists when we restrict morphisms to exact maps. We show that a frame is subfit if and only if it admits a $T_1$ Raney extension, and that a subfit frame is scattered if and only if it admits a unique Raney extension.
We show that the dual adjunction between frames and spaces restricts to a dual adjunction between the category of $T_D$ spaces and the category of $\mathbf{Frm}_{\mathcal{E}}$ of frames and exact maps, and that exact sublocales (sublocales whose surjection is exact) form a subcolocale of the coframe of all sublocales.
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.