2 citations · 2 across the 5 of their papers we have counts for
5 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…
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…
Monoidal closure of Grothendieck constructions via -tractable monoidal structures and Dialectica formulas
Fernando Lucatelli Nunes, Matthijs Vákár
We examine the categorical structure of the Grothendieck construction of an indexed category . Our an…
Generalized multicategories: change-of-base, embedding, and descent
Rui Prezado, Fernando Lucatelli Nunes
Via the adjunction and a cartesian monad on an extensi…