DisCoPy: monoidal categories in Python

MaRDI QIDQ5019676zbMATH OpenFDO

Authors G. de Felice, Alexis Toumi, Bob Coecke

Publication date 10 January 2022

Full work available at URL https://arxiv.org/abs/2005.02975, http://eptcs.web.cse.unsw.edu.au/paper.cgi?ACT2020.13

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)

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.

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

Cites work

• scientific article; zbMATH DE number 2125662 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 1341534 (Why is no real title available?)
• scientific article; zbMATH DE number 922680 (Why is no real title available?)
• scientific article; zbMATH DE number 7089066 (Why is no real title available?)
• scientific article; zbMATH DE number 3251427 (Why is no real title available?)
• scientific article; zbMATH DE number 3344105 (Why is no real title available?)
• scientific article; zbMATH DE number 7649903 (Why is no real title available?)
• A Compositional Framework for Passive Linear Networks
• A categorical semantics for causal structure
• A categorical semantics of signal flow graphs
• A compositional framework for reaction networks
• A practical introduction to tensor networks: Matrix product states and projected entangled pair states
• A survey of graphical languages for monoidal categories
• Algebraic categories with few monoidal biclosed structures or none
• An alternative Gospel of structure: order, composition, processes
• Biunitary constructions in quantum information
• Categorical quantum mechanics
• Categories in control
• Category Theory
• Complexity of Grammar Induction for Quantum Types
• Compositional game theory
• Disintegration and Bayesian inversion via string diagrams
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• Free compact 2-categories
• From word to sentence. A computational algebraic approach to grammar
• Graph drawing in Ti\(k\)Z
• Graphical Conjunctive Queries.
• Interacting Quantum Observables
• Kindergarten quantum mechanics -- lecture notes
• Picturing classical and quantum Bayesian inference
• Picturing quantum processes. A first course in quantum theory and diagrammatic reasoning
• Premonoidal categories and notions of computation
• Props in Network Theory
• Quantomatic: a proof assistant for diagrammatic reasoning
• Retracing some paths in process algebra
• The geometry of tensor calculus. I
• Towards an algebraic theory of Boolean circuits.
• Type grammars as pregroups
• \textsf{Globular}: an online proof assistant for higher-dimensional rewriting

Cited in

(4)

• Diagrammatic differentiation for quantum machine learning
• Monoidal streams for dataflow programming
• DisCoPy
• Wiring diagrams as normal forms for computing in symmetric monoidal categories

Describes a project that uses

Uses Software

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

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)