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)- Monoidal characterisation of groupoids and connectors
- Domain walls in topological phases and the Brauer-Picard ring for \(\mathrm{vec} (\mathbb{Z}/p\mathbb{Z})\)
- Wiring diagrams as normal forms for computing in symmetric monoidal categories
- DisCoPy: monoidal categories in Python
- Universal constructions for (co)relations: categories, monoidal categories, and props
- Categories of quantum and classical channels
- On the geometry and algebra of networks with state
- Towards a unified framework for decomposability of processes
- Petri nets are dioids: a new algebraic foundation for non-deterministic net theory
- The singular Temperley-Lieb category
- scientific article; zbMATH DE number 7453969 (Why is no real title available?)
- A compositional approach to parity games
- Combinatorial flows as bicolored atomic flows
- Purity through factorisation
- Unitary dual functors for unitary multitensor categories
- Inversion, iteration, and the art of dual wielding
- Disintegration and Bayesian inversion via string diagrams
- Condition/decision duality and the internal logic of extensive restriction categories
- Perverse sheaves and knot contact homology
- The Morita theory of quantum graph isomorphisms
- scientific article; zbMATH DE number 7453180 (Why is no real title available?)
- Categories of Differentiable Polynomial Circuits for Machine Learning
- Categorical vector space semantics for Lambek calculus with a relevant modality (extended abstract)
- Modified traces for quasi-Hopf algebras
- The game semantics of game theory
- Semantics for a lambda calculus for string diagrams
- Affinization of monoidal categories
- scientific article; zbMATH DE number 7454911 (Why is no real title available?)
- scientific article; zbMATH DE number 7453172 (Why is no real title available?)
- scientific article; zbMATH DE number 7453179 (Why is no real title available?)
- scientific article; zbMATH DE number 7453181 (Why is no real title available?)
- String diagrams and categorification
- scientific article; zbMATH DE number 7649903 (Why is no real title available?)
- Confluence of graph rewriting with interfaces
- Linear lambda terms as invariants of rooted trivalent maps
- A compositional approach to quantum functions
- Graphical calculus for quantum key distribution (extended abstract)
- A categorical reconstruction of quantum theory
- Shaded tangles for the design and verification of quantum circuits
- Graphical calculus of Hopf crossed modules
- Frobenius structures over Hilbert C^*-modules
- scientific article; zbMATH DE number 7471684 (Why is no real title available?)
- scientific article; zbMATH DE number 7471699 (Why is no real title available?)
- Bidirectional processes -- in category theory, physics, engineering, \dots
- The Joy of String Diagrams
- A diagrammatic view of differential equations in physics
- Dualizable tensor categories
- From gs-monoidal to oplax cartesian categories: constructions and functorial completeness
- Lifting coalgebra modalities and \textsf{MELL} model structure to Eilenberg-Moore categories
- A graphical foundation for interleaving in game semantics
- Enriching diagrams with algebraic operations
- Towards a compositional framework for convex analysis (with applications to probability theory)
- scientific article; zbMATH DE number 7649901 (Why is no real title available?)
- String diagrams for strictification and coherence
- A structural and nominal syntax for diagrams
- A finite presentation of CNOT-dihedral operators
- The path relation for directed planar graphs in rectangles, and its relation to the free diad
- The Mathematics of Text Structure
- Deligne’s category \underline{𝑅𝑒}𝑝(𝐺𝐿_{𝛿}) and representations of general linear supergroups
- Bialgebraic foundations for the operational semantics of string diagrams
- A synthetic approach to Markov kernels, conditional independence and theorems on sufficient statistics
- Differential geometry and general relativity with algebraifolds
- Abstract tensor systems as monoidal categories
- Phase groups and the origin of non-locality for qubits
- A predicate/state transformer semantics for Bayesian learning
- Standard \(\lambda\)-lattices, rigid \(\mathrm{C}^\ast\) tensor categories, and (bi)modules
- scientific article; zbMATH DE number 7453972 (Why is no real title available?)
- LinguaQuanta: towards a quantum transpiler between OpenQASM and Quipper
- Contextual equivalence for signal flow graphs
- Partially traced categories
- Deligne categories in lattice models and quantum field theory, \textit{or} making sense of O(N) symmetry with non-integer N
- The CBH characterisation theorem beyond algebraic quantum theory
- Tensor networks in machine learning
- Categories for the Practising Physicist
- The transfer map of free loop spaces
- String diagrams for traced and compact categories are oriented 1-cobordisms
- scientific article; zbMATH DE number 7649898 (Why is no real title available?)
- Categorifying the ZX-calculus
- Conditional distributions for quantum systems
- A categorical foundation for structured reversible flowchart languages
- Partial traces on additive categories
- On webs in quantum type \(C\)
- Symmetric monoidal categories with attributes
- String diagram rewrite theory. I: Rewriting with Frobenius structure
- Biunitary constructions in quantum information
- Unitary braided-enriched monoidal categories
- Computing fusion rules for spherical \(G\)-extensions of fusion categories
- Pivotal weak Turaev \(\pi \)-coalgebras
- The spin Brauer category
- Fusion categories via string diagrams
- Recoupling coefficients and quantum entropies
- Traced monoidal categories as algebraic structures in Prof
- scientific article; zbMATH DE number 7561601 (Why is no real title available?)
- Sheaf representation of monoidal categories
- scientific article; zbMATH DE number 7204432 (Why is no real title available?)
- A categorical semantics of fuzzy concepts in conceptual spaces
- A Finite Axiomatisation of Finite-State Automata Using String Diagrams
- Towards Quantum Field Theory in Categorical Quantum Mechanics
- Noncommutative network models
- String diagram rewrite theory II: Rewriting with symmetric monoidal structure
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)
