A general framework for the faithful pointfree representation of $T_0$-spaces
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2606.28691
curl -X POST /api/v1/records/arxiv/2606.28691/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2606.28691/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'