String Diagram Rewriting Modulo Commutative Monoid Structure

04/08/2022

∙

by   Aleksandar Milosavljevic, et al.

∙

0

∙

share

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.