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

symmetric monoidal categoryFrobenius algebraPROPDPO graph rewriting

Mathematics Subject Classification ID

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

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

(12)

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

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)