A general framework for the faithful pointfree representation of $T_0$-spaces

Abstract: We introduce a general framework for studying natural contravariant adjunctions that refine the adjunction between frames and spaces so that the fixpoints are $T_0$-spaces. Our objects of study are \textit{spatializable $\mathbf{Frm}$-concrete categories}, or \textit{SFC-categories}. These consist of a faithful functor $\mathcal O:\mathcal C\to \mathbf{Frm}$ equipped with an object $2_{\mathcal C} \in \mathcal C$, satisfying compatibility conditions that ensure that $(2_{\mathcal C},\mathbb{S})$ forms a dualizing object in the sense of Porst and Tholen, where $\mathbb{S}$ denotes the Sierpiński space. Three important instances of pointfree $T_0$ spaces present in the literature fit into this framework: strictly zero-dimensional biframes, MT-algebras, and Raney extensions. We show SFC-categories are assembled in an ordered category -- a category enriched in preordered sets -- whose morphisms are suitable functors which preserve certain initial liftings. SFC-categories induce natural dual adjunctions, and morphisms between them will respectively induce suitable morphisms between these adjunctions. Motivated by the characterization of sober spaces as maximal objects in the fibers of $Ω:\mathbf{Top}\to \mathbf{Frm}<sup>{\mathsf{op}}$, and of $T_D$-spaces as the minimal ones, due to Banaschewski and Pultr, we study initial and terminal objects of fibers for an arbitrary SFC-category. We prove that the natural adjunction for fiber-initials has exactly the sober spaces as fixpoints, while for fiber-terminals contains at most $T_D$-spaces, recovering their results of in a much more general setting.

• The paper develops a unified categorical framework that faithfully represents all T0-spaces using SFC-categories.
• It refines classical Stone duality by introducing natural dual adjunctions and analyzing fiber structures of frames.
• The framework unifies diverse pointfree extensions, enabling explicit categorizations of sobriety and T_D properties.

General Framework for Faithful Pointfree Representation of $T_0$-Spaces

Introduction and Motivation

The paper develops a unified categorical framework for the faithful pointfree (locale-theoretic) representation of $T_0$ topological spaces. While classical Stone duality provides a full dual equivalence only for sober spaces vis-à-vis spatial frames, the proposed theory captures all $T_0$ spaces by refining the adjunction between frames and spaces. Central to the framework is the notion of spatializable $Frm$-concrete categories (SFC-categories), which generalize existing duality theories such as those for strictly zero-dimensional biframes, MT-algebras, and Raney extensions.

SFC-Categories and Natural Dual Adjunctions

An SFC-category consists of a category $\mathcal{C}$ equipped with a faithful functor to $Frm$, a distinguished object $2 \in \mathcal{C}$, and an isomorphism relating its image to the two-element frame, together with conditions ensuring that $(2,\mathbb{S})$ forms a dualizing object (with $\mathbb{S}$ the Sierpiński space). This structure guarantees the existence of a natural dual adjunction between $\mathcal{C}$ and a suitable subcategory $T_0$0 of $T_0$1, capturing the essential $T_0$2 character.

Notably, the standard adjunction between $T_0$3 and $T_0$4 restricts to a duality on the sober spaces but fails for all $T_0$5 spaces, with the unit being a homeomorphism only for sober $T_0$6. By contrast, the SFC-category approach includes $T_0$7 adjunctions that realize coreflective subcategories with full faithfulness, encompassing all $T_0$8 spaces.

The functorial mechanism provides points of compatibility with classical duality settings. For any SFC-category, the induced adjunction is always idempotent, and the class of fixpoints in $T_0$9 aligns with the subcategory of spaces faithfully represented by the chosen pointfree structure.

Fiber Analysis: Sober and $T_0$0 Spaces

A key innovation is the analysis of fibers of the functor $T_0$1. For each frame $T_0$2, the fiber over $T_0$3 is the preorder of all objects in $T_0$4 whose image is isomorphic to $T_0$5. The classical Banaschewski–Pultr correspondence is generalized: in the fiber over $T_0$6, the sober space is initial (maximal in the dual order) and the $T_0$7 space is terminal (minimal). The unit of the adjunction exhibits this correspondence: for a $T_0$8 space $T_0$9, the map $Frm$0 is the sobrification and identifies $Frm$1 with a subspace of a sober space.

The fiber-initial and fiber-terminal objects serve as canonical representatives corresponding to sobriety and the $Frm$2 axiom, whose spectrum recovers all sober and $Frm$3 spaces respectively. The paper establishes that in the generalized SFC framework, these canonical roles persist, and the induced dual adjunctions reflect the classical topological notions.

Subcategories, Morphisms, and Ordered Categorical Structures

SFC-categories and their morphisms are organized into an ordered (enriched) categorical structure, with morphisms preserving initial liftings and supporting dual adjunctions at the categorical level. The notion of SFC-functor is carefully defined so that morphisms between SFC-categories induce morphisms of dual adjunctions, preserving the pointfree–pointset duality intricacies.

The fiber-initial subcategory (typically corresponding to sober objects) is shown to admit a left adjoint, enabling a pointfree construction of sobrification. This construction is characterized as a pullback in the SFC-category, generalizing the classical description that the sobrification of a subspace is the intersection of all sober subspaces containing it.

Applications and Concrete Instances

The framework encompasses and unifies several established pointfree extensions:

• Raney Extensions: Categorical representations where objects are pairs $Frm$4 of a frame and a subcolocale, yielding dualities with $Frm$5 spaces. The standard functors such as $Frm$6 become instances within the unified setting.
• Skula Extensions/Biframes: Pointfree representations characterized by certain subcolocales, equivalent to strictly zero-dimensional biframes, yielding natural dualities with $Frm$7 spaces and generalizing the Skula topology.
• MT-algebras: Complete Boolean algebras with designated subframes of opens, yielding dualities with $Frm$8 spaces and providing a setting to transfer results about fiber-initial and fiber-terminal objects.

Detailed analysis yields explicit characterizations of when a space is the spectrum of a fiber-initial or fiber-terminal object, leading to equivalence theorems for sobriety and the $Frm$9 property. Strong results for the spectrum of MT-algebras establish that every $\mathcal{C}$0 space is the spectrum of a fiber-terminal object, and that the converse inclusion holds under the appropriate categorical conditions.

Implications and Future Directions

By providing a uniform categorical infrastructure to faithfully represent $\mathcal{C}$1 spaces pointfree, the paper generalizes and consolidates disparate duality frameworks under the concept of SFC-categories. The strong results on fiber-initial and fiber-terminal objects clarify longstanding connections between sobriety, the $\mathcal{C}$2 property, and the lattice-theoretic properties of frames and their sublocales.

Theoretically, the work opens paths to further abstraction, such as extension to bases other than $\mathcal{C}$3, alternate dualizing objects, and applications to (co)homological and logical settings. Practically, the unifying approach will facilitate the transfer of results and constructions across distinct but related duality theories in both topology and algebra.

Conclusion

The introduced general framework for SFC-categories enables a full and faithful pointfree representation of $\mathcal{C}$4-spaces, incorporating and extending seminal prior work on duality theories for topological spaces and their pointfree counterparts. By systematizing the role of fibers, adjunctions, and categorical morphisms, the paper provides a robust foundation for further exploration of duality and representation phenomena in topology, lattice theory, and beyond (2606.28691).