3 papers
math.CT2026
A general framework for the faithful pointfree representation of -spaces
Rui Prezado, Anna Laura Suarez
We introduce a general framework for studying natural contravariant adjunctions that refine the adjunction between frames and spaces so that the fixpoints are -spaces. Our obj…
math.GN2026
The lattice of smooth sublocales as a Bruns-Lakser completion
Igor Arrieta, Anna Laura Suarez
We characterise the frame morphisms that lift to frame maps , where is the collection of joins of comp…
math.GN2025
Strictly zero-dimensional biframes and Raney extensions
Anna Laura Suarez
Raney extensions and strictly zero-dimensional biframes both faithfully extend the dual of the category of spaces. We use tools from pointfree topology to look at the connect…