Rewriting modulo traced comonoid structure

DOI10.46298/LMCS-22(1:2)2026MaRDI QIDQ6858375zbMATH OpenFDO

Authors Dan R. Ghica, George Kaye

Publication date 13 February 2026

Published in Logical Methods in Computer Science (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.46298/LMCS-22(1:2)2026

zbMATH Keywords

graph rewritingstring diagramsdouble pushout rewritingcomonoid structuresymmetric traced monoidal categories

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Cites work

• scientific article; zbMATH DE number 2185716 (Why is no real title available?)
• scientific article; zbMATH DE number 4157896 (Why is no real title available?)
• scientific article; zbMATH DE number 3548465 (Why is no real title available?)
• scientific article; zbMATH DE number 1330455 (Why is no real title available?)
• scientific article; zbMATH DE number 3344105 (Why is no real title available?)
• scientific article; zbMATH DE number 2222245 (Why is no real title available?)
• A categorical approach to open and interconnected dynamical systems
• A categorical semantics of signal flow graphs
• A string diagrammatic axiomatisation of finite-state automata
• A survey of graphical languages for monoidal categories
• Abstract tensor systems as monoidal categories
• Adhesive and quasiadhesive categories
• Amalgamations of Categories
• Categorical algebra
• Categories in control
• Coalgebras and cartesian categories
• Coherence for compact closed categories
• Confluence of graph rewriting with interfaces
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• Feedback and generalized logic
• Finite dimensional Hilbert spaces are complete for dagger compact closed categories
• Foundations of Software Science and Computation Structures
• Free gs-monoidal categories and free Markov categories
• Full abstraction for signal flow graphs
• Functorial string diagrams for reverse-mode automatic differentiation
• Graphical affine algebra
• Graphical piecewise-linear algebra
• Hypergraph categories
• Interacting Hopf algebras
• Open-graphs and monoidal theories
• Pillars of computer science. Essays dedicated to Boris (Boaz) Trakhtenbrot on the occasion of his 85th birthday
• Rewriting modulo traced comonoid structure
• String diagram rewrite theory II: Rewriting with symmetric monoidal structure
• String diagram rewrite theory III: Confluence with and without Frobenius
• String diagram rewrite theory. I: Rewriting with Frobenius structure
• String diagrammatic electrical circuit theory
• String diagrams for non-strict monoidal categories
• The geometry of tensor calculus. I
• The uniformity principle on traced monoidal categories
• Traced monoidal categories

This page was built for publication: Rewriting modulo traced comonoid structure

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