See also. polyquiver References. Rewriting Modulo Symmetric Monoidal Structure (Bonchi, Gadducci, Kissinger, Sobocinski, Zanasi)
