DisCoPy: Monoidal Categories in Python
From MaRDI portal
Publication:5019676
zbMath1477.18002arXiv2005.02975MaRDI QIDQ5019676
Giovanni de Felice, Alexis Toumi, Bob Coecke
Publication date: 10 January 2022
Full work available at URL: https://arxiv.org/abs/2005.02975
Quantum computation (81P68) Natural language processing (68T50) Monoidal categories, symmetric monoidal categories (18M05) Software, source code, etc. for problems pertaining to category theory (18-04) String diagrams and graphical calculi (18M30)
Related Items (1)
Uses Software
Cites Work
- A practical introduction to tensor networks: Matrix product states and projected entangled pair states
- Picturing classical and quantum Bayesian inference
- Algebraic categories with few monoidal biclosed structures or none
- The geometry of tensor calculus. I
- Towards an algebraic theory of Boolean circuits.
- Categorical quantum mechanics
- Picturing Quantum Processes
- A Survey of Graphical Languages for Monoidal Categories
- Globular: an online proof assistant for higher-dimensional rewriting
- A Categorical Semantics of Signal Flow Graphs
- Free compact 2-categories
- Quantomatic: A Proof Assistant for Diagrammatic Reasoning
- Interacting Quantum Observables
- Premonoidal categories and notions of computation
- A Compositional Framework for Passive Linear Networks
- Props in Network Theory
- Graph Drawing in TikZ
- Complexity of Grammar Induction for Quantum Types
- Graphical Conjunctive Queries.
- Compositional Game Theory
- A categorical semantics for causal structure
- Disintegration and Bayesian inversion via string diagrams
- Categories in Control
- A compositional framework for reaction networks
- Biunitary constructions in quantum information
- An alternative Gospel of structure: order, composition, processes
- Category Theory
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
- Type grammars as pregroups
- Retracing some paths in process algebra
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: DisCoPy: Monoidal Categories in Python
