Rewriting with Frobenius

DOI10.1145/3209108.3209137zbMath1497.68238OpenAlexW2799039080MaRDI QIDQ5145289

Fabio Gadducci, Filippo Bonchi, Fabio Zanasi, Paweł Sobociński, Aleks Kissinger

Publication date: 20 January 2021

Published in: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/3209108.3209137

zbMATH Keywords

symmetric monoidal categoryFrobenius algebraPROPDPO graph rewriting

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) String diagrams and graphical calculi (18M30)

Related Items (3)

String diagram rewrite theory II: Rewriting with symmetric monoidal structure ⋮ String Diagram Rewrite Theory I: Rewriting with Frobenius Structure ⋮ Unnamed Item

Uses Software

• Quantomatic

This page was built for publication: Rewriting with Frobenius