acyclic linear hypergraphs

Last updated Apr 14, 2025

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