research
∙
10/18/2022
Deconstructing the Calculus of Relations with Tape Diagrams
Rig categories with finite biproducts are categories with two monoidal p...
share
research
∙
08/19/2021
Convexity via Weak Distributive Laws
We study the canonical weak distributive law δ of the powerset monad ove...
research
∙
06/15/2021
On Doctrines and Cartesian Bicategories
We study the relationship between cartesian bicategories and a specialis...
research
∙
12/29/2020
Combining Semilattices and Semimodules
We describe the canonical weak distributive law δ𝒮𝒫→𝒫𝒮 of the powerset m...
research
∙
03/30/2020
