Diagrammatic Polyhedral Algebra

05/23/2021

∙

by   Guillaume Boisseau, et al.

∙

0

∙

share

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 affine extension and prove soundness and completeness for the prop of polyhedra. Adding a register results in a concurrent extension of the calculus of signal flow graphs, powerful enough to capture continuous Petri nets.