scientific article; zbMATH DE number 7471699

MaRDI QIDQ5028464zbMATH OpenFDO

Authors Antonin Delpeuch, Jamie Vicary

Publication date 9 February 2022

Full work available at URL https://arxiv.org/abs/1804.07832, https://lmcs.episciences.org/8960

zbMATH Keywords

higher-dimensional rewritingmonoidal categoriesstring diagramsword problem

Mathematics Subject Classification ID

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

Recommendations

• String constructions of quadrics revisited
• Normal forms of quasiperiodic strings
• Summing planar diagrams for string and gauge theories
• A diagrammatic approach to string polytopes
• Stringy invariants of normal surfaces
• scientific article; zbMATH DE number 4163663
• Quasisymmetric maps and string theory
• Algebraic curves for factorized string solutions
• Optimization of quasi-normal eigenvalues for Krein-Nudelman strings
• A framework for rewriting families of string diagrams

Cites work

• A survey of graphical languages for monoidal categories
• Coherence of Gray categories via rewriting
• Compositional game theory
• Data structures for quasistrict higher categories
• Diagram rewriting and operads
• Diagrammatic Semantics for Digital Circuits.
• Game Semantics in String Diagrams
• Globular: an online proof assistant for higher-dimensional rewriting
• Graphs on surfaces
• Higher-dimensional word problems with applications to equational logic
• scientific article; zbMATH DE number 3575612 (Why is no real title available?)
• scientific article; zbMATH DE number 6819787 (Why is no real title available?)
• scientific article; zbMATH DE number 3251427 (Why is no real title available?)
• scientific article; zbMATH DE number 3385867 (Why is no real title available?)
• Open graphs and computational reasoning
• Polygraphs of finite derivation type
• Testing graph isotopy on surfaces
• The geometry of tensor calculus. I
• The ZX-calculus is complete for stabilizer quantum mechanics
• Theory of Maps on Orientable Surfaces
• Towards 3-dimensional rewriting theory
• Towards an algebraic theory of Boolean circuits.
• Verifying the Steane code with Quantomatic

Cited in

(7)

• String diagrams for traced and compact categories are oriented 1-cobordisms
• scientific article; zbMATH DE number 7646801 (Why is no real title available?)
• Rewriting in Gray categories with applications to coherence
• Computads and string diagrams for \(n\)-sesquicategories
• The cost of compositionality: a high-performance implementation of string diagram composition
• Regular planar monoidal languages
• Graphical rewriting for diagrammatic reasoning in monoidal categories in Lean4 (short paper)

Describes a project that uses

Uses Software

• Globular

This page was built for publication:

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