79 citations · 222 across the 14 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.LO2021
Diagrammatic Polyhedral Algebra
Filippo Bonchi, Alessandro Di Giorgio, Pawel Sobocinski
We extend the theory of Interacting Hopf algebras with an order primitive, and give a sound and complete axiomatisation of the prop of polyhedral cones. Next, we axiomatise an affi…
cs.LO2021★ 5 cited
String Diagram Rewrite Theory II: Rewriting with Symmetric Monoidal Structure
Filippo Bonchi, Fabio Gadducci, Aleks Kissinger +2
Symmetric monoidal theories (SMTs) generalise algebraic theories in a way that make them suitable to express resource-sensitive systems, in which variables cannot be copied or disc…