Rewriting for Symmetric Monoidal Categories with Commutative (Co)Monoid Structure

Aleksandar Milosavljevic, Robin Piedeleu, Fabio Zanasi

String diagrams are pictorial representations for morphisms of symmetric monoidal categories. They constitute an intuitive and expressive graphical syntax, which has found applicat…