A survey of graphical languages for monoidal categories
From MaRDI portal
Publication:3000922
Abstract: This article is intended as a reference guide to various notions of monoidal categories and their associated string diagrams. It is hoped that this will be useful not just to mathematicians, but also to physicists, computer scientists, and others who use diagrammatic reasoning. We have opted for a somewhat informal treatment of topological notions, and have omitted most proofs. Nevertheless, the exposition is sufficiently detailed to make it clear what is presently known, and to serve as a starting place for more in-depth study. Where possible, we provide pointers to more rigorous treatments in the literature. Where we include results that have only been proved in special cases, we indicate this in the form of caveats.
Recommendations
Cited in
(only showing first 100 items - show all)- A graphical calculus for semi-groupal categories
- On Compositionality of Dinatural Transformations
- A practical type theory for symmetric monoidal categories
- String diagram rewrite theory III: Confluence with and without Frobenius
- Ribbon entwining datum
- The symmetric tensor product on the Drinfeld centre of a symmetric fusion category
- scientific article; zbMATH DE number 7559395 (Why is no real title available?)
- Parallel self-testing of the GHZ state with a proof by diagrams
- Microcanonical thermodynamics in general physical theories
- An axiomatic approach to differentiation of polynomial circuits
- Bicategorical semantics for nondeterministic computation
- On higher holonomy invariants in higher gauge theory. II.
- Monoidal categories and topological field theory
- The categorified Heisenberg algebra. I: A combinatorial representation.
- High-level modelling for typed functional programming
- Interacting quantum observables: categorical algebra and diagrammatics
- A certified study of a reversible programming language
- Reversible monadic computing
- Shadows and traces in bicategories
- Positive maps from the walled Brauer algebra
- Traces in symmetric monoidal categories
- Regular planar monoidal languages
- Representations of fusion categories and their commutants
- A topological perspective on interacting algebraic theories
- Rewriting and completeness of sum-over-paths in dyadic fragments of quantum computing
- Quantum diagrammatics for \(F_4\)
- Dichromatic state sum models for four-manifolds from pivotal functors
- Quotient categories and phases
- Executions in (semi-)integer Petri nets are compact closed categories
- The spectrum of a localic semiring
- The algebra of partial equivalence relations
- Axiomatizing complete positivity
- Presentations of categories of modules using the Cautis-Kamnitzer-Morrison principle
- Join inverse categories as models of reversible recursion
- Exploring a Quantum Theory with Graph Rewriting and Computer Algebra
- scientific article; zbMATH DE number 7453967 (Why is no real title available?)
- Uniqueness of Composition in Quantum Theory and Linguistics
- Bicategorical traces and cotraces
- scientific article; zbMATH DE number 7453976 (Why is no real title available?)
- A Category of Surface-Embedded Graphs
- Monoidal Width: Capturing Rank Width
- String Diagrams for Layered Explanations
- Monoidal categories, representation gap and cryptography
- Protocol choice and iteration for the free cornering
- Categorical foundations of gradient-based learning
- Causal inference via string diagram surgery. A diagrammatic approach to interventions and counterfactuals
- Quon language: surface algebras and Fourier duality
- Operational axioms for diagonalizing states
- Diagrammatics for real supergroups
- A Graphical Foundation for Schedules
- Updating probabilistic knowledge on condition/event nets using Bayesian networks
- A string diagrammatic axiomatisation of finite-state automata
- The structure of sum-over-paths, its consequences, and completeness for Clifford
- Relative Frobenius algebras are groupoids
- Introducing String Diagrams
- A categorical foundation for structured reversible flowchart languages: soundness and adequacy
- scientific article; zbMATH DE number 7327933 (Why is no real title available?)
- scientific article; zbMATH DE number 7649902 (Why is no real title available?)
- scientific article; zbMATH DE number 7649945 (Why is no real title available?)
- scientific article; zbMATH DE number 4150466 (Why is no real title available?)
- scientific article; zbMATH DE number 7456059 (Why is no real title available?)
- Lawvere categories as composed PROPs
- Bicommutant categories from fusion categories
- scientific article; zbMATH DE number 7215290 (Why is no real title available?)
- Generalised Mermin-type non-locality arguments
- On representation categories of wreath products in non-integral rank
- Serre functors and graded categories
- A Note on an Old-Fashioned Algebra for (Disconnected) Graphs
- Proof diagrams for multiplicative linear logic: syntax and semantics
- The simplicial model of univalent foundations (after Voevodsky)
- Languages for monoidal categories
- Local states in string diagrams
- Quantum Mathematics in Artificial Intelligence
- Anomaly of \((2+1)\)-dimensional symmetry-enriched topological order from \((3+1)\)-dimensional topological quantum field theory
- Differential categories revisited
- Blob homology
- A graph theoretic perspective on CPM(Rel)
- Interacting Hopf algebras
- The calculus of signal flow diagrams. I: Linear relations on streams.
- Completeness of Nominal PROPs
- Concurrent Process Histories and Resource Transducers
- Monoidal computer. I: Basic computability by string diagrams
- From reversible programming languages to reversible metalanguages
- Diagrammatics for comodule monads
- On the structure of abstract \(H^*\)-algebras
- Shaded tangles for the design and verification of quantum programs (extended abstract)
- Composing dinatural transformations: towards a calculus of substitution
- The word problem for braided monoidal categories is unknot-hard
- The cost of compositionality: a high-performance implementation of string diagram composition
- Pivotality, twisted centres, and the anti-double of a Hopf monad
- Mermin non-locality in abstract process theories
- Categorical composable cryptography: extended version
- Equational reasoning with lollipops, forks, cups, caps, snakes, and speedometers
- Categorical composable cryptography
- A mathematical theory of resources
- Bridging the gap between general probabilistic theories and the device-independent framework for nonlocality and contextuality
- Pictures of complete positivity in arbitrary dimension
- Fundamental weight systems are quantum states
- Causal categories: relativistically interacting processes
- A covariant Stinespring theorem
This page was built for publication: A survey of graphical languages for monoidal categories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3000922)
