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
Cites work
- \textsf{Globular}: an online proof assistant for higher-dimensional rewriting
- A categorical semantics for causal structure
- A categorical semantics of signal flow graphs
- A Compositional Framework for Passive Linear Networks
- 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
- CARTOGRAPHER: a tool for string diagrammatic reasoning (tool paper)
- Categorical quantum mechanics
- Categories in control
- Category Theory
- Coherence for Frobenius pseudomonoids and the geometry of linear proofs
- Complexity of Grammar Induction for Quantum Types
- Compositional game theory
- Disintegration and Bayesian inversion via string diagrams
- Free compact 2-categories
- From word to sentence. A computational algebraic approach to grammar
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
- Graph drawing in Ti\(k\)Z
- Graphical Conjunctive Queries.
- 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 3251427 (Why is no real title available?)
- scientific article; zbMATH DE number 3344105 (Why is no real title available?)
- 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
Cited in
(7)- DisCoPy
- Wiring diagrams as normal forms for computing in symmetric monoidal categories
- Diagrammatic differentiation for quantum machine learning
- Monoidal streams for dataflow programming
- Coinductive streams in monoidal categories
- Quantum linear optics via string diagrams
- Operads for complex system design specification, analysis and synthesis
Describes a project that uses
Uses Software
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)
