Fosco Loregiàn

activity

20142025

most citedCoend calculus

41 citations · 136 across the 32 of their papers we have counts for

collaborators

Showing 2019Show all

3 papers · 1 filter

math.CT2019★ 1 cited

A Fubini rule for $\infty$ -coends

Fosco Loregian

We prove a Fubini rule for $\infty$ -co/ends of $\infty$ -functors $F : C^{op} \times C \to D$ . This allows to lay down "integration rules", similar to t…

math.CT2019

A standard theorem on adjunctions in two variables

Fosco Loregian

We record an explicit proof of the theorem that lifts a two-variable adjunction to the arrow categories of its domains.

math.CT2019★ 1 cited

On the unicity of formal category theories

Ivan Di Liberti, Fosco Loregian

We prove an equivalence between cocomplete Yoneda structures and certain proarrow equipments on a 2-category $K$ . In order to do this, we recognize the presheaf constructi…

A Fubini rule for ∞-coends

A standard theorem on adjunctions in two variables

On the unicity of formal category theories

A Fubini rule for $\infty$ -coends