research
∙
10/18/2022
Deconstructing the Calculus of Relations with Tape Diagrams
Rig categories with finite biproducts are categories with two monoidal p...
research
∙
05/23/2021