Diagrammatic Polyhedral Algebra

05/23/2021
by   Guillaume Boisseau, et al.
0

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.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset