DisCoPy: Monoidal Categories in Python']Python

被引：11
作者：
de Felice, Giovanni [1 ]
Toumi, Alexis
Coecke, Bob
机构：
[1] Univ Oxford, Dept Comp Sci, Cambridge, England
来源：
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 2021年 / 333期
关键词：
D O I：
10.4204/EPTCS.333.13
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
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.
引用
收藏
页码：183 / 197
页数：15
相关论文
共 71 条
  • [31] google/jax, 2020, COMP TRANSF PYTH NUM
  • [32] Grefenstette E., 2011, P EMNLP 2011, P1394
  • [33] Hauschild Johannes, 2018, SciPost Phys. Lect. Notes, V5, DOI DOI 10.21468/SCIPOSTPHYSLECTNOTES.5
  • [34] Hotz Guenter, 1965, Elektronische Informationsverarbeitung und Kybernetik, V1, P185
  • [35] THE GEOMETRY OF TENSOR CALCULUS .1.
    JOYAL, A
    STREET, R
    [J]. ADVANCES IN MATHEMATICS, 1991, 88 (01) : 55 - 112
  • [36] Joyal Andre, 1988, Planar diagrams and tensor algebra
  • [37] Kartsaklis Dimitri, 2013, SEPARATING DISAMBIGU, P10
  • [38] Kartsaklis Dimitri., 2012, COLING
  • [39] Kissinger A, 2020, Arxiv, DOI [arXiv:1904.04735, 10.48550/arXiv.1904.04735, DOI 10.48550/ARXIV.1904.04735]
  • [40] Quantomatic: A Proof Assistant for Diagrammatic Reasoning
    Kissinger, Aleks
    Zamdzhiev, Vladimir
    [J]. AUTOMATED DEDUCTION - CADE-25, 2015, 9195 : 326 - 336
12345678