string diagrams symmetric monoidal category directed acyclic open hypergraphs Rewriting Modulo Symmetric Monoidal Structure (Bonchi, Gadducci, Kissinger, Sobocinski, Zanasi)
