The lattice of smooth sublocales as a Bruns-Lakser completion
Abstract
We characterise the frame morphisms $f:L\to M$ that lift to frame maps $\overline{f}:\mathsf{S}_b(L)\to \mathsf{S}_b(M)$, where $\mathsf{S}_b(L)$ is the collection of joins of complemented sublocales of a frame $L$, or equivalently the Booleanization of the collection $\mathsf{S}(L)$ of all its sublocales. We do so by proving that $\mathsf{S}_b(L)$ is isomorphic to the Bruns--Lakser completion of the meet-semilattice formed by the locally closed sublocales, i.e. the sublocales of the form $\mathfrak{c}(a)\cap \mathfrak{o}(b)$ for $a,b\in L$.
Fields of Study & Subjects
Advanced Algebra and Logic
Advanced Topology and Set Theory
Advanced Operator Algebra Research
Publication details
- Journal / source
- arXiv (Cornell University)
- Publication date
- 17 February 2026
- Language
- EN
- Document type
- Preprint