8 citations · 10 across the 5 of their papers we have counts for
8 papers
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…
Functorial Semantics for Partial Theories
Ivan Di Liberti, Fosco Loregian, Chad Nester +1
We provide a Lawvere-style definition for partial theories, extending the classical notion of equational theory by allowing partially defined operations. As in the classical case,…
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…