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.CT2025
Topological lax comma categories
Maria Manuel Clementino, Dirk Hofmann, Rui Prezado
This paper investigates the interplay between properties of a topological space , in particular of its natural order, and properties of the lax comma category $\mathsf{Top} \Dow…
math.CT2024
Functors Preserving Effective Descent Morphisms
Fernando Lucatelli Nunes, Rui Prezado
Effective descent morphisms, originally defined in Grothendieck descent theory, form a class of special morphisms within a category. Essentially, an effective descent morphism enab…