A Survey of Graphical Languages for Monoidal Categories

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

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

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
• On higher holonomy invariants in higher gauge theory. II.
• Reversible monadic computing
• Title not available (Why is that?)
• The spectrum of a localic semiring
• A Categorical Reconstruction of Quantum Theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A string diagrammatic axiomatisation of finite-state automata
• The structure of sum-over-paths, its consequences, and completeness for Clifford
• Generalised Mermin-type non-locality arguments
• Title not available (Why is that?)
• On webs in quantum type C
• 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?)
• Executions in (Semi-)Integer Petri Nets are Compact Closed Categories
• Modified traces for quasi-Hopf algebras
• Linear lambda terms as invariants of rooted trivalent maps
• Title not available (Why is that?)
• A Certified Study of a Reversible Programming Language
• 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?)
• 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
• The CBH characterisation theorem beyond algebraic quantum theory
• A categorical foundation for structured reversible flowchart languages
• Partial traces on additive categories
• Pivotal weak Turaev \(\pi \)-coalgebras
• Computing fusion rules for spherical \(G\)-extensions of fusion categories
• A categorical foundation for structured reversible flowchart languages: Soundness and adequacy
• Title not available (Why is that?)
• Title not available (Why is that?)
• Sheaf representation of monoidal categories
• Noncommutative network models
• Updating Probabilistic Knowledge on Condition/Event Nets using Bayesian Networks
• Title not available (Why is that?)
• Confluence of Graph Rewriting with Interfaces
• 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
• 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
• Lawvere Categories as Composed PROPs
• A graphical calculus for semi-groupal categories
• Microcanonical thermodynamics in general physical theories
• 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
• Dichromatic state sum models for four-manifolds from pivotal functors
• Title not available (Why is that?)
• The algebra of partial equivalence relations
• Uniqueness of Composition in Quantum Theory and Linguistics
• Presentations of categories of modules using the Cautis-Kamnitzer-Morrison principle
• Operational axioms for diagonalizing states
• A Graphical Foundation for Schedules
• Relative Frobenius algebras are groupoids
• Bicommutant categories from fusion categories
• 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
• Differential categories revisited
• Blob homology
• The calculus of signal flow diagrams. I: Linear relations on streams.
• Interacting Hopf algebras
• Join Inverse Categories as Models of Reversible Recursion
• Universal Constructions for (Co)Relations: categories, monoidal categories, and props
• 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
• DisCoPy: Monoidal Categories in Python
• Title not available (Why is that?)
• Affinization of monoidal categories
• A compositional approach to quantum functions
• Graphical calculus of Hopf crossed modules
• Graphical calculus for quantum key distribution (extended abstract)
• Frobenius structures over Hilbert \(C^*\)-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)