acyclic linear hypergraphs

Last updated Apr 23, 2024

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