2 citations · 2 across the 3 of their papers we have counts for
3 papers
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…
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…