4 papers
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…
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…
Effective descent morphisms of ordered families
Maria Manuel Clementino, Rui Prezado
We present a characterization of effective descent morphisms in the lax comma category when is a locally complete ordered set, as well as in the antisymmetric…
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…