7 citations · 9 across the 7 of their papers we have counts for
Showing 2021Show all
3 papers · 1 filter
cs.LO2021
Convexity via Weak Distributive Laws
Filippo Bonchi, Alessio Santamaria
We study the canonical weak distributive law of the powerset monad over the semimodule monad for a certain class of semirings containing, in particular, positive semifields. Fo…
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…