Rewriting for monoidal closed categories

DOI10.4230/LIPICS.FSCD.2022.29zbMATH Open1541.68167MaRDI QIDQ6544124FDOQ6544124

Authors: Mario Alvarez-Picallo, Dan R. Ghica, David Sprunger, Fabio Zanasi 

Publication date: 27 May 2024

Recommendations

• Rewriting modulo symmetric monoidal structure
• String diagram rewrite theory. I: Rewriting with Frobenius structure
• Rewriting with Frobenius
• String diagram rewrite theory II: Rewriting with symmetric monoidal structure
• Open-graphs and monoidal theories

zbMATH Keywords

rewritingmonoidal closed categorystring diagramshierarchical hypergraph

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Monoidal categories, symmetric monoidal categories (18M05) String diagrams and graphical calculi (18M30)

Cited In (1)

• A Category of Surface-Embedded Graphs

This page was built for publication: Rewriting for monoidal closed categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6544124)