The lattice of smooth sublocales as a Bruns–Lakser completion

dc.contributor.authorArrieta, Igor
dc.contributor.authorSuarez, Anna Laura
dc.date.accessioned2026-07-17T10:57:59Z
dc.date.available2026-07-17T10:57:59Z
dc.date.issued2026
dc.description.abstractWe characterise the frame morphisms f:L→M that lift to frame maps f¯:Sb(L)→Sb(M), where Sb(L) is the collection of joins of complemented sublocales of a frame L, or equivalently the Booleanization of the collection S(L) of all its sublocales. We do so by proving that Sb(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 c(a)∩o(b) for a,b∈L.
dc.identifier.citationArrieta, I. and Suarez, A.L., 2026. The Lattice of Smooth Sublocales as a Bruns–Lakser Completion: I. Arrieta, AL Suarez. Applied Categorical Structures, 34(4), p.37.
dc.identifier.urihttps://doi.org/10.1007/s10485-026-09873-z
dc.identifier.urihttps://hdl.handle.net/10566/24992
dc.language.isoen
dc.publisherSpringer Science and Business Media B.V.
dc.subjectAdmissible meet
dc.subjectBruns–Lakser completion
dc.subjectCoframe
dc.subjectExact filter
dc.subjectFrame
dc.titleThe lattice of smooth sublocales as a Bruns–Lakser completion
dc.typeArticle

Files

Original bundle

Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
arrieta_the_lattice_of_smooth_sublocales_2026.pdf
Size:
285.46 KB
Format:
Adobe Portable Document Format

License bundle

Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed upon to submission
Description: