String Diagram Rewriting Modulo Commutative Monoid Structure

04/08/2022
by   Aleksandar Milosavljevic, et al.
0

We characterise freely generated props with a chosen commutative monoid structure as certain categories of hypergraphs with interfaces. We use this result to give a sound and complete interpretation of rewriting modulo commutative monoid equations in a prop in terms of double-pushout rewriting of hypergraphs.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset