7 citations · 9 across the 7 of their papers we have counts for
Showing 2021 · cs.LOShow all
2 papers · 2 filters
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…