{"id":"arxiv/2602.15583","url":"https://arxiv.org/abs/2602.15583","tags":["math.GN","math.CT"],"score":0,"title":"The lattice of smooth sublocales as a Bruns-Lakser completion","domain":"math.GN","source":"arxiv","authors":["Igor Arrieta","Anna Laura Suarez"],"reviews":0,"subject":"math.GN","summary":"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$.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-02-17","reactions":{}}