scientific article; zbMATH DE number 7471699

zbMath1502.18039arXiv1804.07832MaRDI QIDQ5028464

Antonin Delpeuch, Jamie Vicary

Publication date: 9 February 2022

Full work available at URL: https://arxiv.org/abs/1804.07832

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

monoidal categoriesword problemstring diagramshigher-dimensional rewriting

Mathematics Subject Classification ID

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

Related Items

Rewriting in Gray categories with applications to coherence

Uses Software

• Globular

Cites Work

• Higher-dimensional word problems with applications to equational logic
• The geometry of tensor calculus. I
• Towards an algebraic theory of Boolean circuits.
• Testing graph isotopy on surfaces
• Game Semantics in String Diagrams
• A Survey of Graphical Languages for Monoidal Categories
• Polygraphs of finite derivation type
• The ZX-calculus is complete for stabilizer quantum mechanics
• Theory of Maps on Orientable Surfaces
• Coherence of Gray Categories via Rewriting
• Diagrammatic Semantics for Digital Circuits.
• Data structures for quasistrict higher categories
• Compositional Game Theory
• Towards 3-Dimensional Rewriting Theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item