{"id":"arxiv/2606.28691","url":"https://arxiv.org/abs/2606.28691","tags":["math.CT","math.GN"],"score":0,"title":"A general framework for the faithful pointfree representation of $T_0$-spaces","domain":"math.CT","source":"arxiv","authors":["Rui Prezado","Anna Laura Suarez"],"reviews":0,"subject":"math.CT","summary":"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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-27","reactions":{}}