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 条
  • [1] Abramsky S., 1996, CONCUR '96: Concurrency Theory. 7th International Conference. Proceedings, P1
  • [2] Abramsky S, 2008, Arxiv, DOI arXiv:0808.1023
  • [3] Awodey Steve, 2006, Category Theory
  • [4] Baez J.C. B. Fong., 2015, A compositional framework for passive linear networks
  • [5] A compositional framework for reaction networks
    Baez, John C.
    Pollard, Blake S.
    [J]. REVIEWS IN MATHEMATICAL PHYSICS, 2017, 29 (09)
  • [6] Bar Krzysztof, 2018, ARXIV, DOI [10.23638/LMCS-14(1:8)2018, DOI 10.23638/LMCS-14(1:8)2018]
  • [7] Bolt J, 2017, Arxiv, DOI arXiv:1703.08314
  • [8] Bonchi Filippo, 2014, CONCUR 2014 - Concurrency Theory. 25th International Conference, CONCUR 2014. Proceedings: LNCS 8704, P435, DOI 10.1007/978-3-662-44584-6_30
  • [9] Bonchi Filippo, 2018, 27 EACSL ANN C COMPU, V119, DOI DOI 10.4230/LIPICS.CSL.2018.13
  • [10] BROWN C, 1994, IEEE S LOG, P372, DOI 10.1109/LICS.1994.316052
12345678