Rewriting with Frobenius

DOI10.1145/3209108.3209137MaRDI QIDQ5145289zbMATH OpenOpenAlexFDO

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

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

DPO graph rewritingFrobenius algebraPROPsymmetric monoidal category

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 522832
• Rewriting as a special case of non-commutative Gröbner basis theory
• Computations with Frobenius Powers
• Applying rewriting methods to special monoids
• Realization of Frobenius functions
• Computing Frobenius maps and factoring polynomials
• Algebra and geometry of rewriting
• Ext and Frobenius
• Rewriting modulo symmetric monoidal structure
• Verschiebung and Frobenius operators

Cited in

(13)

• Hypergraph categories
• Diagram rewriting and operads
• scientific article; zbMATH DE number 125611 (Why is no real title available?)
• Rewriting modulo symmetric monoidal structure
• Properties of co-operations: diagrammatic proofs
• String diagram rewrite theory II: Rewriting with symmetric monoidal structure
• String diagram rewrite theory. I: Rewriting with Frobenius structure
• CARTOGRAPHER: a tool for string diagrammatic reasoning (tool paper)
• String diagram rewrite theory III: Confluence with and without Frobenius
• A Category of Surface-Embedded Graphs
• Data Structures for Topologically Sound Higher-Dimensional Diagram Rewriting
• Rewriting for monoidal closed categories
• A complete diagrammatic calculus for automata simulation

Describes a project that uses

Uses Software

• Quantomatic

This page was built for publication: Rewriting with Frobenius

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