8 citations · 10 across the 5 of their papers we have counts for
8 papers · 1 filter
Fibrations of algebras
Danel Ahman, Greta Coraglia, Davide Castelnovo +3
We study fibrations arising from indexed categories of the following form: fix two categories and a functor $F : \mathcal{A} \times \mathcal{X} \longright…
Rosen's no-go theorem for regular categories
Fosco Loregian
The famous biologist Robert Rosen argued for an intrinsic difference between biological and artificial life, supporting the claim that `living systems are not mechanisms'. This res…
t-structures on stable infinity-categories
Fosco Loregian
The present work re-enacts the classical theory of t-structures reducing the classical definition given in *Faisceaux Pervers* to a rather primitive categorical gadget: suitable re…
A Fubini rule for -coends
Fosco Loregian
We prove a Fubini rule for -co/ends of -functors . This allows to lay down "integration rules", similar to t…
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.
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 . In order to do this, we recognize the presheaf constructi…