2 citations · 2 across the 2 of their papers we have counts for
3 papers
cs.LO2021
On Doctrines and Cartesian Bicategories
Filippo Bonchi, Alessio Santamaria, Jens Seeber +1
We study the relationship between cartesian bicategories and a specialisation of Lawvere's hyperdoctrines, namely elementary existential doctrines. Both provide different ways of a…
cs.CL2021★ 2 cited
Combining Semilattices and Semimodules
Filippo Bonchi, Alessio Santamaria
We describe the canonical weak distributive law of the powerset monad over the -left-semimodule monad $\ma…
math.CT2020
Composing Dinatural Transformations: Towards a Calculus of Substitution
Guy McCusker, Alessio Santamaria
Dinatural transformations, which generalise the ubiquitous natural transformations to the case where the domain and codomain functors are of mixed variance, fail to compose in gene…