Rig categories with finite biproducts are categories with two monoidal
p...
We study the canonical weak distributive law δ of the powerset monad
ove...
We study the relationship between cartesian bicategories and a specialis...
We describe the canonical weak distributive law δ𝒮𝒫→𝒫𝒮 of the powerset m...
We investigate how various forms of bisimulation can be characterised us...
share