DisCoPy: monoidal categories in Python

zbMATH Open1477.18002arXiv2005.02975MaRDI QIDQ5019676FDOQ5019676

G. de Felice, Alexis Toumi, Bob Coecke

Publication date: 10 January 2022

Abstract: We introduce DisCoPy, an open source toolbox for computing with monoidal categories. The library provides an intuitive syntax for defining string diagrams and monoidal functors. Its modularity allows the efficient implementation of computational experiments in the various applications of category theory where diagrams have become a lingua franca. As an example, we used DisCoPy to perform natural language processing on quantum hardware for the first time.

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

Recommendations

• Wiring diagrams as normal forms for computing in symmetric monoidal categories
• Monoidal computer. I: Basic computability by string diagrams
• A survey of graphical languages for monoidal categories
• Quantomatic: a proof assistant for diagrammatic reasoning
• Categorifying the ZX-calculus

zbMATH Keywords

monoidal categorystring diagramfunctorial semanticsrigid category

Mathematics Subject Classification ID

Quantum computation (81P68) Natural language processing (68T50) Monoidal categories, symmetric monoidal categories (18M05) String diagrams and graphical calculi (18M30) Software, source code, etc. for problems pertaining to category theory (18-04)

Cites Work

• Title not available (Why is that?)
• The geometry of tensor calculus. I
• Categorical quantum mechanics
• A Survey of Graphical Languages for Monoidal Categories
• Interacting Quantum Observables
• Premonoidal categories and notions of computation
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• Free compact 2-categories
• From word to sentence. A computational algebraic approach to grammar
• Title not available (Why is that?)
• Retracing some paths in process algebra
• A practical introduction to tensor networks: Matrix product states and projected entangled pair states
• Title not available (Why is that?)
• A Categorical Semantics of Signal Flow Graphs
• An alternative Gospel of structure: order, composition, processes
• Category Theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• Picturing classical and quantum Bayesian inference
• Kindergarten quantum mechanics -- lecture notes
• Algebraic categories with few monoidal biclosed structures or none
• Towards an algebraic theory of Boolean circuits.
• A Compositional Framework for Passive Linear Networks
• Categories in Control
• Compositional Game Theory
• Title not available (Why is that?)
• Type grammars as pregroups
• A compositional framework for reaction networks
• A categorical semantics for causal structure
• Complexity of Grammar Induction for Quantum Types
• Picturing Quantum Processes
• Biunitary constructions in quantum information
• Disintegration and Bayesian inversion via string diagrams
• Quantomatic: A Proof Assistant for Diagrammatic Reasoning
• Graph Drawing in TikZ
• Globular: an online proof assistant for higher-dimensional rewriting
• Props in Network Theory
• Title not available (Why is that?)
• Graphical Conjunctive Queries.
• Title not available (Why is that?)

Cited In (3)

• Diagrammatic differentiation for quantum machine learning
• Monoidal streams for dataflow programming
• DisCoPy

Uses Software

• NetworkX
• NumPy
• Matplotlib
• TikZ
• Quantomatic
• Globular
• TensorLy
• TeNPy
• JAX
• GitHub
• Jupyter Notebook
• TensorNetwork
• pytket
• PyZX

This page was built for publication: DisCoPy: monoidal categories in Python

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