Rewriting for monoidal closed categories

DOI10.4230/LIPICS.FSCD.2022.29MaRDI QIDQ6544124zbMATH OpenFDO

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

Publication date 27 May 2024

Full work available at URL https://doi.org/10.4230/LIPICS.FSCD.2022.29

zbMATH Keywords

hierarchical hypergraphmonoidal closed categoryrewritingstring diagrams

Mathematics Subject Classification ID

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

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

Cited in

(6)

• Nominal string diagrams
• CARTOGRAPHER: a tool for string diagrammatic reasoning (tool paper)
• A Category of Surface-Embedded Graphs
• String diagrams with factorized densities
• Constructor theory as process theory
• A robust graph-based approach to observational equivalence

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)