String Diagram Rewriting Modulo Commutative Monoid Structure
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