A survey of graphical languages for monoidal categories

DOI10.1007/978-3-642-12821-9_4zbMATH Open1217.18002arXiv0908.3347OpenAlexW3105507374WikidataQ59884671 ScholiaQ59884671MaRDI QIDQ3000922FDOQ3000922

Authors: Peter Selinger 

Publication date: 31 May 2011

Published in: New Structures for Physics (Search for Journal in Brave)

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.

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

Recommendations

• Categories for the Practising Physicist
• A structural and nominal syntax for diagrams
• Physics, Topology, Logic and Computation: A Rosetta Stone
• Abstract tensor systems as monoidal categories
• String diagrams and categorification

zbMATH Keywords

coherencemonoidal categoriesdiagrammatic reasoningtraced categoriesgraphical languagesstring diagramscaveats

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to category theory (18-01)

Cited In (only showing first 100 items - show all)

• The symmetric tensor product on the Drinfeld centre of a symmetric fusion category
• Microcanonical thermodynamics in general physical theories
• Parallel self-testing of the GHZ state with a proof by diagrams
• On higher holonomy invariants in higher gauge theory. II.
• Reversible monadic computing
• A certified study of a reversible programming language
• The spectrum of a localic semiring
• Executions in (semi-)integer Petri nets are compact closed categories
• Presentations of categories of modules using the Cautis-Kamnitzer-Morrison principle
• Updating probabilistic knowledge on condition/event nets using Bayesian networks
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A categorical foundation for structured reversible flowchart languages: soundness and adequacy
• A string diagrammatic axiomatisation of finite-state automata
• The structure of sum-over-paths, its consequences, and completeness for Clifford
• Lawvere categories as composed PROPs
• Generalised Mermin-type non-locality arguments
• Bicommutant categories from fusion categories
• Proof diagrams for multiplicative linear logic: syntax and semantics
• From reversible programming languages to reversible metalanguages
• Composing dinatural transformations: towards a calculus of substitution
• Title not available (Why is that?)
• Categorical vector space semantics for Lambek calculus with a relevant modality (extended abstract)
• Modified traces for quasi-Hopf algebras
• Confluence of graph rewriting with interfaces
• Linear lambda terms as invariants of rooted trivalent maps
• A compositional approach to quantum functions
• A categorical reconstruction of quantum theory
• A structural and nominal syntax for diagrams
• A finite presentation of CNOT-dihedral operators
• The Mathematics of Text Structure
• A synthetic approach to Markov kernels, conditional independence and theorems on sufficient statistics
• Bialgebraic foundations for the operational semantics of string diagrams
• Title not available (Why is that?)
• Tensor networks in machine learning
• Contextual equivalence for signal flow graphs
• Partially traced categories
• The transfer map of free loop spaces
• Biunitary constructions in quantum information
• A categorical foundation for structured reversible flowchart languages
• Partial traces on additive categories
• Computing fusion rules for spherical \(G\)-extensions of fusion categories
• Title not available (Why is that?)
• Title not available (Why is that?)
• Noncommutative network models
• Title not available (Why is that?)
• A channel-based perspective on conjugate priors
• A finite-tame-wild trichotomy theorem for tensor diagrams
• Drags: a compositional algebraic framework for graph rewriting
• Unitary transformations of fibre functors
• Bialgebras in Rel
• Monoidal characterisation of groupoids and connectors
• Domain walls in topological phases and the Brauer-Picard ring for \(\mathrm{vec} (\mathbb{Z}/p\mathbb{Z})\)
• Unitary dual functors for unitary multitensor categories
• Purity through factorisation
• Disintegration and Bayesian inversion via string diagrams
• On Compositionality of Dinatural Transformations
• Condition/decision duality and the internal logic of extensive restriction categories
• A practical type theory for symmetric monoidal categories
• The Morita theory of quantum graph isomorphisms
• A graphical calculus for semi-groupal categories
• Interacting quantum observables: categorical algebra and diagrammatics
• Monoidal categories and topological field theory
• The categorified Heisenberg algebra. I: A combinatorial representation.
• Bicategorical semantics for nondeterministic computation
• High-level modelling for typed functional programming
• Representations of fusion categories and their commutants
• Shadows and traces in bicategories
• Traces in symmetric monoidal categories
• Quotient categories and phases
• Dichromatic state sum models for four-manifolds from pivotal functors
• Title not available (Why is that?)
• The algebra of partial equivalence relations
• Join inverse categories as models of reversible recursion
• Uniqueness of Composition in Quantum Theory and Linguistics
• Causal inference via string diagram surgery. A diagrammatic approach to interventions and counterfactuals
• Operational axioms for diagonalizing states
• Quon language: surface algebras and Fourier duality
• A Graphical Foundation for Schedules
• Relative Frobenius algebras are groupoids
• Title not available (Why is that?)
• A Note on an Old-Fashioned Algebra for (Disconnected) Graphs
• On representation categories of wreath products in non-integral rank
• The simplicial model of univalent foundations (after Voevodsky)
• Languages for monoidal categories
• A graph theoretic perspective on CPM(Rel)
• Differential categories revisited
• Blob homology
• The calculus of signal flow diagrams. I: Linear relations on streams.
• Interacting Hopf algebras
• Monoidal computer. I: Basic computability by string diagrams
• Equational reasoning with lollipops, forks, cups, caps, snakes, and speedometers
• 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
• Causal categories: relativistically interacting processes
• Affinization of monoidal categories
• String diagrams and categorification
• Graphical calculus of Hopf crossed modules

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)