4 citations · 11 across the 10 of their papers we have counts for
10 papers · 1 filter
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…
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…
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…
Lax comma categories: cartesian closedness, extensivity, topologicity, and descent
Maria Manuel Clementino, Fernando Lucatelli Nunes, Rui Prezado
We investigate the properties of lax comma categories over a base category , focusing on topologicity, extensivity, cartesian closedness, and descent. We establish that the forg…
Free extensivity via distributivity
Fernando Lucatelli Nunes, Rui Prezado, Matthijs Vákár
We consider the canonical pseudodistributive law between various free limit completion pseudomonads and the free coproduct completion pseudomonad. When the class of limits includes…
Generalized multicategories: change-of-base, embedding, and descent
Rui Prezado, Fernando Lucatelli Nunes
Via the adjunction and a cartesian monad on an extensi…
On effective descent -functors and familial descent morphisms
Rui Prezado
We study effective descent -functors for cartesian monoidal categories with finite limits. This study is carried out via the properties enjoyed by the…
Cauchy Completeness, Lax Epimorphisms and Effective Descent for Split Fibrations
Fernando Lucatelli Nunes, Rui Prezado, Lurdes Sousa
For any suitable base category , we find that -fully faithful lax epimorphisms in - are precisely those -funct…
Descent for internal multicategory functors
Rui Prezado, Fernando Lucatelli Nunes
We give sufficient conditions for effective descent in categories of (generalized) internal multicategories. Two approaches to study effective descent morphisms are pursued. The fi…