String diagram rewrite theory II: Rewriting with symmetric monoidal structure
From MaRDI portal
Publication:5058366
DOI10.1017/S0960129522000317zbMath1506.68042arXiv2104.14686OpenAlexW3157210582MaRDI QIDQ5058366
Fabio Zanasi, Filippo Bonchi, Paweł Sobociński, Fabio Gadducci, Aleks Kissinger
Publication date: 20 December 2022
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2104.14686
Grammars and rewriting systems (68Q42) Monoidal categories, symmetric monoidal categories (18M05) String diagrams and graphical calculi (18M30)
Related Items (3)
String Diagram Rewrite Theory I: Rewriting with Frobenius Structure ⋮ An axiomatic approach to differentiation of polynomial circuits ⋮ String diagram rewrite theory III: Confluence with and without Frobenius
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Higher-dimensional word problems with applications to equational logic
- The calculus of signal flow diagrams. I: Linear relations on streams.
- Notions of computation and monads
- Synthesising CCS bisimulation using graph rewriting
- The geometry of tensor calculus. I
- Towards an algebraic theory of Boolean circuits.
- The algebra of partial equivalence relations
- Algebraic operations and generic effects
- A functorial semantics for multi-algebras and partial algebras, with applications to syntax.
- A combinatorial-topological shape category for polygraphs
- Causal inference by string diagram surgery
- Categorified cyclic operads
- Termination orders for three-dimensional rewriting
- The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads
- H*-algebras and nonunital Frobenius algebras: first steps in infinite-dimensional categorical quantum mechanics
- Picturing Quantum Processes
- Confluence of Graph Rewriting with Interfaces
- A Survey of Graphical Languages for Monoidal Categories
- Globular: an online proof assistant for higher-dimensional rewriting
- Category Theoretic Understandings of Universal Algebra and its Dual: Monads and Lawvere Theories, Comonads and What?
- Quantomatic: A Proof Assistant for Diagrammatic Reasoning
- Gabriel–Ulmer duality and Lawvere theories enriched over a general base
- An Algorithm for Subgraph Isomorphism
- Coalgebras and cartesian categories
- Rewriting modulo symmetric monoidal structure
- An enriched view on the extended finitary monad--Lawvere theory correspondence
- Traced monoidal categories
- Semantics for Algebraic Operations
- Open-graphs and monoidal theories
- String Diagram Rewrite Theory I: Rewriting with Frobenius Structure
- Diagrammatic Semantics for Digital Circuits.
- Refinement for signal flow graphs
- Interacting quantum observables: categorical algebra and diagrammatics
- Rewriting with Frobenius
- Categories in Control
- Graph rewriting for the π-calculus
- Foundations of Software Science and Computation Structures
- Foundations of Software Science and Computation Structures
- Adhesive and quasiadhesive categories
- The Frobenius anatomy of word meanings I: subject and object relative pronouns
- Towards 3-Dimensional Rewriting Theory
- Algebra and Coalgebra in Computer Science
- Categorical algebra
This page was built for publication: String diagram rewrite theory II: Rewriting with symmetric monoidal structure
