Compact localization and co-sobriety of Smyth power spaces
We establish a compact-localization theorem for finite iterates of the Smyth power space. Successive union maps assign to every finite-level Smyth object a canonical least compact saturated carrier in the original space, and co-sobriety at each positive finite level is equivalent to co-sobriety of the corresponding iterates over all compact saturated carriers. Consequently, if every compact saturated subspace of a $T_0$-space $X$ is stably compact---in particular, if every such subspace is Hausdorff---then $\PS^n(X)$ is co-sober for every finite $n\geq 1$. This applies to every…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2610.14446
curl -X POST /api/v1/records/arxiv/2610.14446/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2610.14446/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'