4 citations · 11 across the 10 of their papers we have counts for
4 papers · 1 filter
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…