41 citations · 136 across the 32 of their papers we have counts for
5 papers · 1 filter
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…
Coends of higher arity
Fosco Loregian, Emily de Oliveira Santos
We specialise a recently introduced notion of generalised dinaturality for functors to the case where the domai…
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…
Profunctor Optics, a Categorical Update
Bryce Clarke, Derek Elkins, Jeremy Gibbons +4
Optics are bidirectional data accessors that capture data transformation patterns such as accessing subfields or iterating over containers. Profunctor optics are a particular choic…