Rui Prezado

activity

20212026

most citedDescent for internal multicategory functors

4 citations · 11 across the 10 of their papers we have counts for

collaborators

Showing 2023 · math.CTShow all

2 papers · 2 filters

math.CT2023

Generalized multicategories: change-of-base, embedding, and descent

Rui Prezado, Fernando Lucatelli Nunes

Via the adjunction $- \cdot 1 ⊣ V (1, -) : Span (V) \to V - Mat$ and a cartesian monad $T$ on an extensi…

math.CT2023★ 3 cited

On effective descent $V$ -functors and familial descent morphisms

Rui Prezado

We study effective descent $V$ -functors for cartesian monoidal categories $V$ with finite limits. This study is carried out via the properties enjoyed by the…

Generalized multicategories: change-of-base, embedding, and descent

On effective descent V-functors and familial descent morphisms

On effective descent $V$ -functors and familial descent morphisms