Category Theory
Zulip Server
Archive

You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.

Stream: theory: category theory

Topic: Vietoris Locale Research Question

Christopher Townsend (Aug 05 2025 at 06:24):

[Cross post from Math overflow & categories mailing list.]

Let X be a locale. Then there is the Vietoris locale construction, V, introduced by Johnstone (it's in Stone Spaces, but see also the 1985 paper, 'Vietoris Locales and Localic Semilattices'). The functor V:Loc→Loc is something like taking the locale of all 'finite' sublocales; e.g., if X is discrete then the points of V(X) are the finite subsets of X.  In his 1985 paper Johnstone alludes to the fact that if X is compact then so is V(X). But the proof, which is not explicit in the paper, uses a transfinite induction. I believe there is a much simpler proof, but have not found any references to this in the literature. Does anyone know about this specific result being published in the last 40[!] years?

Thanks,
Christopher

Notification Bot (Aug 08 2025 at 10:25):

Graham Manuell has marked this topic as unresolved.

Graham Manuell (Aug 08 2025 at 10:27):

I don't know if this has been proved in the literature, but if $X$ is compact Hausdorff, isn't the Vietoris locale of $X$ the patch topology of $\mathbb{S}^X$? This would imply that it is compact Hausdorff.