TY - RPRT TI - The lattice of smooth sublocales as a Bruns-Lakser completion AU - Igor Arrieta AU - Anna Laura Suarez PY - 2026 UR - https://arxiv.org/abs/2602.15583 ID - 2602.15583 ER -