@inproceedings(Abramsky96,
 author       = {S.~Abramsky},
 year         = {1996},
 title        = {Retracing Some Paths in Process Algebra},
 booktitle    = {{{CONCUR}}'96: {{Concurrency}} Theory},
 series       = {Lecture Notes in Computer Science},
 volume       = {1119},
 publisher    = {{Springer}},
 pages        = {1--17},
 doi          = {10.1007/3-540-61604-7_44},
)
@article(AbramskyCoecke08,
 author       = {Samson Abramsky and Bob Coecke},
 year         = {2008},
 title        = {Categorical Quantum Mechanics},
 journal      = {arXiv:0808.1023 [quant-ph]},
)
@book(Awodey06,
 author       = {Steve Awodey},
 year         = {2006},
 title        = {Category {{Theory}}},
 publisher    = {{Ebsco Publishing}},
 doi          = {10.1093/acprof:oso/9780198568612.001.0001},
)
@article(BaezEtAl18,
 author       = {John~C. Baez and Brandon Coya and Franciscus Rebro},
 year         = {2018},
 title        = {Props in {{Network Theory}}},
 journal      = {arXiv:1707.08321 [math-ph]},
)
@article(BaezErbele14,
 author       = {John~C. Baez and Jason Erbele},
 year         = {2014},
 title        = {Categories in {{Control}}},
 journal      = {arXiv:1405.6881 [quant-ph]},
)
@article(BaezFong15,
 author       = {John~C. Baez and Brendan Fong},
 year         = {2015},
 title        = {A {{Compositional Framework}} for {{Passive Linear Networks}}},
)
@article(BaezPollard17,
 author       = {John~C. Baez and Blake~S. Pollard},
 year         = {2017},
 title        = {A {{Compositional Framework}} for {{Reaction Networks}}},
 journal      = {Reviews in Mathematical Physics},
 volume       = {29},
 number       = {09},
 pages        = {1750028},
 doi          = {10.1142/S0129055X17500283},
)
@article(BarEtAl,
 author       = {Krzysztof Bar and Aleks Kissinger and Jamie Vicary},
 title        = {Globular: An Online Proof Assistant for Higher-Dimensional Rewriting},
 journal      = {arXiv:1612.01093 [cs, math]},
 doi          = {10.23638/LMCS-14(1:8)2018},
)
@article(BoltEtAl17,
 author       = {Joe Bolt and Bob Coecke and Fabrizio Genovese and Martha Lewis and Dan Marsden and Robin Piedeleu},
 year         = {2017},
 title        = {Interacting {{Conceptual Spaces I}} : {{Grammatical Composition}} of {{Concepts}}},
 journal      = {CoRR},
 volume       = {abs/1703.08314},
)
@inproceedings(BonchiEtAl18,
 author       = {Filippo Bonchi and Jens Seeber and Pawel Sobocinski},
 year         = {2018},
 title        = {{Graphical Conjunctive Queries}},
 editor       = {Dan Ghica and Achim Jung},
 booktitle    = {27th EACSL Annual Conference on Computer Science Logic (CSL 2018)},
 series       = {Leibniz International Proceedings in Informatics (LIPIcs)},
 volume       = {119},
 publisher    = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
 address      = {Dagstuhl, Germany},
 pages        = {13:1--13:23},
 doi          = {10.4230/LIPIcs.CSL.2018.13},
 url          = {http://drops.dagstuhl.de/opus/volltexte/2018/9680},
)
@inproceedings(BonchiEtAl14a,
 author       = {Filippo Bonchi and Pawe{\l} Soboci{\'n}ski and Fabio Zanasi},
 year         = {2014},
 title        = {A {{Categorical Semantics}} of {{Signal Flow Graphs}}},
 editor       = {Paolo Baldan and Daniele Gorla},
 booktitle    = {{{CONCUR}} 2014 \textendash{} {{Concurrency Theory}}},
 series       = {Lecture {{Notes}} in {{Computer Science}}},
 publisher    = {{Springer}},
 address      = {{Berlin, Heidelberg}},
 pages        = {435--450},
 doi          = {10.1007/978-3-662-44584-6_30},
)
@inproceedings(BrownHutton94,
 author       = {C.~Brown and G.~Hutton},
 year         = {1994},
 title        = {Categories, Allegories and Circuit Design},
 booktitle    = {Proceedings of the 9th Annual {{IEEE}} Symposium on Logic in Computer Science ({{LICS}})},
 organization = {{IEEE Computer Society}},
 pages        = {372--381},
 doi          = {10.1109/LICS.1994.316052},
)
@article(ChoJacobs19,
 author       = {Kenta Cho and Bart Jacobs},
 year         = {2019},
 title        = {Disintegration and {{Bayesian Inversion}} via {{String Diagrams}}},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {29},
 number       = {7},
 pages        = {938--971},
 doi          = {10.1017/S0960129518000488},
)
@inproceedings(ClarkEtAl08,
 author       = {Stephen Clark and Bob Coecke and Mehrnoosh Sadrzadeh},
 year         = {2008},
 title        = {A {{Compositional Distributional Model}} of {{Meaning}}},
 booktitle    = {Proceedings of the {{Second Symposium}} on {{Quantum Interaction}} ({{QI}}-2008)},
 pages        = {133--140},
)
@incollection(ClarkEtAl10,
 author       = {Stephen Clark and Bob Coecke and Mehrnoosh Sadrzadeh},
 year         = {2010},
 title        = {Mathematical Foundations for a Compositional Distributional Model of Meaning},
 editor       = {J.~{van Benthem} and M.~Moortgat and W.~Buszkowski},
 booktitle    = {A {{Festschrift}} for {{Jim Lambek}}},
 series       = {Linguistic {{Analysis}}},
 volume       = {36},
 pages        = {345--384},
)
@article(Coecke05,
 author       = {Bob Coecke},
 year         = {2005},
 title        = {Kindergarten {{Quantum Mechanics}}},
 journal      = {arXiv:quant-ph/0510032},
 doi          = {10.1063/1.2158713},
)
@article(Coecke19,
 author       = {Bob Coecke},
 year         = {2019},
 title        = {The {{Mathematics}} of {{Text Structure}}},
)
@article(CoeckeEtAl18a,
 author       = {Bob Coecke and {de Felice}, Giovanni and Dan Marsden and Alexis Toumi},
 year         = {2018},
 title        = {Towards {{Compositional Distributional Discourse Analysis}}},
 journal      = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {283},
 pages        = {1--12},
 doi          = {10.4204/EPTCS.283.1},
)
@inproceedings(CoeckeDuncan08,
 author       = {Bob Coecke and Ross Duncan},
 year         = {2008},
 title        = {Interacting {{Quantum Observables}}},
 editor       = {Luca Aceto and Damg{\r a}rd, Ivan and Leslie~Ann Goldberg and Magn{\'u}s~M. Halld{\'o}rsson and Anna Ing{\'o}lfsd{\'o}ttir and Igor Walukiewicz},
 booktitle    = {Automata, {{Languages}} and {{Programming}}},
 series       = {Lecture {{Notes}} in {{Computer Science}}},
 publisher    = {{Springer Berlin Heidelberg}},
 pages        = {298--310},
 doi          = {10.1007/978-3-540-70583-3_25},
)
@book(CoeckeKissinger17,
 author       = {Bob Coecke and Aleks Kissinger},
 year         = {2017},
 title        = {Picturing {{Quantum Processes}}: {{A First Course}} in {{Quantum Theory}} and {{Diagrammatic Reasoning}}},
 publisher    = {{Cambridge University Press}},
 doi          = {10.1017/9781316219317},
)
@article(CoeckeSpekkens12,
 author       = {Bob Coecke and Robert~W. Spekkens},
 year         = {2012},
 title        = {Picturing Classical and Quantum {{Bayesian}} Inference},
 journal      = {Synthese},
 volume       = {186},
 number       = {3},
 pages        = {651--696},
 doi          = {10.1007/s11229-011-9917-5},
)
@article(DeFeliceEtAl19a,
 author       = {{de Felice}, Giovanni and Konstantinos Meichanetzidis and Alexis Toumi},
 year         = {2019},
 title        = {Functorial {{Question Answering}}},
 journal      = {arXiv:1905.07408 [cs, math]},
 doi          = {10.4204/EPTCS.323.6},
)
@misc(DeFeliceToumi,
 author       = {{de Felice}, Giovanni and Alexis Toumi},
 title        = {Discopy 0.2.3 Documentation},
 howpublished = {https://discopy.readthedocs.io/en/master/},
)
@article(Delpeuch14a,
 author       = {Antonin Delpeuch},
 year         = {2014},
 title        = {Autonomization of {{Monoidal Categories}}},
 journal      = {arXiv:1411.3827 [cs, math]},
 doi          = {10.4204/EPTCS.323.3},
)
@article(DelpeuchVicary18,
 author       = {Antonin Delpeuch and Jamie Vicary},
 year         = {2018},
 title        = {Normalization for Planar String Diagrams and a Quadratic Equivalence Algorithm},
 journal      = {arXiv:1804.07832 [cs]},
)
@article(DunnVicary19,
 author       = {Lawrence Dunn and Jamie Vicary},
 year         = {2019},
 title        = {Coherence for {{Frobenius}} Pseudomonoids and the Geometry of Linear Proofs},
 journal      = {arXiv:1601.05372 [cs]},
 doi          = {10.23638/LMCS-15(3:5)2019},
)
@article(FoltzEtAl80,
 author       = {Fran{\c c}ois Foltz and Christian Lair and GM~Kelly},
 year         = {1980},
 title        = {Algebraic Categories with Few Monoidal Biclosed Structures or None},
 journal      = {Journal of Pure and Applied Algebra},
 volume       = {17},
 number       = {2},
 pages        = {171--177},
 doi          = {10.1016/0022-4049(80)90082-1},
)
@article(FongJohnson19,
 author       = {Brendan Fong and Michael Johnson},
 year         = {2019},
 title        = {Lenses and {{Learners}}},
 journal      = {arXiv:1903.03671 [cs, math]},
)
@article(FongEtAl17,
 author       = {Brendan Fong and David~I. Spivak and R{\'e}my Tuy{\'e}ras},
 year         = {2017},
 title        = {Backprop as {{Functor}}: {{A}} Compositional Perspective on Supervised Learning},
 doi          = {10.1109/LICS.2019.8785665},
)
@article(GhaniEtAl18,
 author       = {Neil Ghani and Jules Hedges and Viktor Winschel and Philipp Zahn},
 year         = {2018},
 title        = {Compositional Game Theory},
 journal      = {arXiv:1603.04641 [cs]},
 doi          = {10.1145/3209108.3209165},
)
@misc(Google/jax20,
 author       = {{google/jax}},
 year         = {2020},
 title        = {Composable Transformations of {{Python}}+{{NumPy}} Programs: Differentiate, Vectorize, {{JIT}} to {{GPU}}/{{TPU}}, and More},
 howpublished = {https://github.com/google/jax},
)
@inproceedings(GrefenstetteSadrzadeh11,
 author       = {Edward Grefenstette and Mehrnoosh Sadrzadeh},
 year         = {2011},
 title        = {Experimental {{Support}} for a {{Categorical Compositional Distributional Model}} of {{Meaning}}},
 booktitle    = {The 2014 {{Conference}} on {{Empirical Methods}} on {{Natural Language Processing}}.},
 pages        = {1394--1404},
)
@article(HauschildPollmann18,
 author       = {Johannes Hauschild and Frank Pollmann},
 year         = {2018},
 title        = {Efficient Numerical Simulations with {{Tensor Networks}}: {{Tensor Network Python}} ({{TeNPy}})},
 journal      = {SciPost Physics Lecture Notes},
 pages        = {5},
 doi          = {10.21468/SciPostPhysLectNotes.5},
)
@article(Hotz65,
 author       = {G{\"u}nter Hotz},
 year         = {1965},
 title        = {Eine {{Algebraisierung}} Des {{Syntheseproblems}} von {{Schaltkreisen I}}},
 journal      = {Elektronische Informationsverarbeitung und Kybernetik},
 volume       = {1},
 pages        = {185--205},
)
@article(JoyalStreet88,
 author       = {Andr{\'e} Joyal and Ross Street},
 year         = {1988},
 title        = {Planar Diagrams and Tensor Algebra},
 journal      = {Unpublished manuscript, available from Ross Street's website},
)
@article(JoyalStreet91,
 author       = {Andr{\'e} Joyal and Ross Street},
 year         = {1991},
 title        = {The Geometry of Tensor Calculus, {{I}}},
 journal      = {Advances in Mathematics},
 volume       = {88},
 number       = {1},
 pages        = {55--112},
 doi          = {10.1016/0001-8708(91)90003-P},
)
@article(KartsaklisEtAl13,
 author       = {Dimitri Kartsaklis and Mehrnoosh Sadrzadeh and Stephen Pulman},
 year         = {2013},
 title        = {Separating {{Disambiguation}} from {{Composition}} in {{Distributional Semantics}}},
 pages        = {10},
)
@inproceedings(KartsaklisEtAl12,
 author       = {Dimitri Kartsaklis and Mehrnoosh Sadrzadeh and Stephen~G. Pulman},
 year         = {2012},
 title        = {A {{Unified Sentence Space}} for {{Categorical Distributional}}-{{Compositional Semantics}}: {{Theory}} and {{Experiments}}},
 booktitle    = {{{COLING}}},
)
@article(KissingerUijlen19,
 author       = {Aleks Kissinger and Sander Uijlen},
 year         = {2019},
 title        = {A Categorical Semantics for Causal Structure},
 journal      = {arXiv:1701.04732 [math-ph, physics:quant-ph]},
 doi          = {10.23638/LMCS-15(3:15)2019},
)
@article(KissingervandeWetering19,
 author       = {Aleks Kissinger and {van de Wetering}, John},
 year         = {2019},
 title        = {{{PyZX}}: {{Large Scale Automated Diagrammatic Reasoning}}},
 journal      = {arXiv:1904.04735 [quant-ph]},
 doi          = {10.4204/EPTCS.318.14},
)
@inproceedings(KissingerZamdzhiev15,
 author       = {Aleks Kissinger and Vladimir Zamdzhiev},
 year         = {2015},
 title        = {Quantomatic: {{A Proof Assistant}} for {{Diagrammatic Reasoning}}},
 editor       = {Amy~P. Felty and Aart Middeldorp},
 booktitle    = {Automated {{Deduction}} - {{CADE}}-25},
 series       = {Lecture {{Notes}} in {{Computer Science}}},
 publisher    = {{Springer International Publishing}},
 pages        = {326--336},
 doi          = {10.1007/978-3-319-21401-6_22},
)
@inproceedings(KluyverEtAl16,
 author       = {Thomas Kluyver and {Ragan-Kelley}, Benjamin and Fernando P{\'e}rez and Brian~E Granger and Matthias Bussonnier and Jonathan Frederic and Kyle Kelley and Jessica~B Hamrick and Jason Grout and Sylvain Corlay},
 year         = {2016},
 title        = {Jupyter {{Notebooks}}-a Publishing Format for Reproducible Computational Workflows.},
 booktitle    = {{{ELPUB}}},
 pages        = {87--90},
 doi          = {10.3233/978-1-61499-649-1-87},
)
@article(KossaifiEtAl18,
 author       = {Jean Kossaifi and Yannis Panagakis and Anima Anandkumar and Maja Pantic},
 year         = {2018},
 title        = {{{TensorLy}}: {{Tensor Learning}} in {{Python}}},
 journal      = {arXiv:1610.09555 [cs]},
)
@article(Lack04,
 author       = {Stephen Lack},
 year         = {2004},
 title        = {Composing {{PROPs}}},
 journal      = {Theory and Applications of Categories [electronic only]},
 volume       = {13},
 pages        = {147--163},
)
@article(Lafont03,
 author       = {Yves Lafont},
 year         = {2003},
 title        = {Towards an Algebraic Theory of {{Boolean}} Circuits},
 journal      = {Journal of Pure and Applied Algebra},
 volume       = {184},
 number       = {2-3},
 pages        = {257--310},
 doi          = {10.1016/S0022-4049(03)00069-0},
)
@inproceedings(Lambek99,
 author       = {Joachim Lambek},
 year         = {1999},
 title        = {Type {{Grammar Revisited}}},
 editor       = {Alain Lecomte and Fran{\c c}ois Lamarche and Guy Perrier},
 booktitle    = {Logical {{Aspects}} of {{Computational Linguistics}}},
 publisher    = {{Springer Berlin Heidelberg}},
 address      = {{Berlin, Heidelberg}},
 pages        = {1--27},
 doi          = {10.1007/3-540-48975-4_1},
)
@article(Lambek01,
 author       = {Joachim Lambek},
 year         = {2001},
 title        = {Type {{Grammars}} as {{Pregroups}}},
 journal      = {Grammars},
 volume       = {4},
 pages        = {21--39},
 doi          = {10.1023/A:1011444711686},
)
@book(Lambek08,
 author       = {Joachim Lambek},
 year         = {2008},
 title        = {From {{Word}} to {{Sentence}}: {{A Computational Algebraic Approach}} to {{Grammar}}},
 series       = {Open Access Publications},
 publisher    = {{Polimetrica}},
)
@book(Lane98,
 author       = {S.M. Lane},
 year         = {1998},
 title        = {Categories for the {{Working Mathematician}}},
 series       = {Graduate {{Texts}} in {{Mathematics}}},
 publisher    = {{Springer New York}},
 doi          = {10.1007/978-1-4612-9839-7},
)
@article(Lawvere63,
 author       = {F.~William Lawvere},
 year         = {1963},
 title        = {Functorial {{Semantics}} of {{Algebraic Theories}}},
 journal      = {Proceedings of the National Academy of Sciences of the United States of America},
 volume       = {50},
 number       = {5},
 pages        = {869--872},
 doi          = {10.1073/pnas.50.5.869},
)
@misc(Matplotlib20,
 author       = {{matplotlib}},
 year         = {2020},
 title        = {Plotting with {{Python}}},
 howpublished = {https://github.com/matplotlib/matplotlib},
)
@misc(Meichanetzidis20,
 author       = {Konstantinos Meichanetzidis},
 year         = {2020},
 title        = {Quantum {{Natural Language Processing}}},
 howpublished = {https://medium.com/cambridge-quantum-computing/quantum-natural-language-processing-748d6f27b31d},
)
@misc(Networkx20,
 author       = {{networkx}},
 year         = {2020},
 title        = {Python Software for Complex Networks},
 howpublished = {https://github.com/networkx/networkx},
)
@article(Orus14,
 author       = {Roman Orus},
 year         = {2014},
 title        = {A {{Practical Introduction}} to {{Tensor Networks}}: {{Matrix Product States}} and {{Projected Entangled Pair States}}},
 journal      = {Annals of Physics},
 volume       = {349},
 pages        = {117--158},
 doi          = {10.1016/j.aop.2014.06.013},
)
@article(Patterson17,
 author       = {Evan Patterson},
 year         = {2017},
 title        = {Knowledge {{Representation}} in {{Bicategories}} of {{Relations}}},
 journal      = {arXiv:1706.00526 [cs, math]},
)
@article(Penrose71,
 author       = {Roger Penrose},
 year         = {1971},
 title        = {{Applications of Negative Dimensional Tensors}},
 journal      = {Scribd},
)
@article(PowerRobinson97,
 author       = {John Power and Edmund Robinson},
 year         = {1997},
 title        = {Premonoidal Categories and Notions of Computation},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {7},
 number       = {5},
 pages        = {453--468},
 doi          = {10.1017/S0960129597002375},
)
@article(PrellerLambek07,
 author       = {Anne Preller and Joachim Lambek},
 year         = {2007},
 title        = {Free Compact 2-Categories},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {17},
 number       = {2},
 pages        = {309--340},
 doi          = {10.1017/S0960129506005901},
)
@article(ReutterVicary19,
 author       = {David Reutter and Jamie Vicary},
 year         = {2019},
 title        = {High-Level Methods for Homotopy Construction in Associative \$n\$-Categories},
 journal      = {arXiv:1902.03831 [math]},
 doi          = {10.1109/LICS.2019.8785895},
)
@article(Riley18,
 author       = {Mitchell Riley},
 year         = {2018},
 title        = {Categories of {{Optics}}},
 journal      = {arXiv:1809.00738 [math]},
)
@article(RobertsEtAl19,
 author       = {Chase Roberts and Ashley Milsted and Martin Ganahl and Adam Zalcman and Bruce Fontaine and Yijian Zou and Jack Hidary and Guifre Vidal and Stefan Leichenauer},
 year         = {2019},
 title        = {{{TensorNetwork}}: {{A Library}} for {{Physics}} and {{Machine Learning}}},
 journal      = {arXiv:1905.01330 [cond-mat, physics:hep-th, physics:physics, stat]},
)
@article(Selinger10,
 author       = {P.~Selinger},
 year         = {2010},
 title        = {A {{Survey}} of {{Graphical Languages}} for {{Monoidal Categories}}},
 journal      = {New Structures for Physics},
 pages        = {289--355},
 doi          = {10.1007/978-3-642-12821-9_4},
)
@article(ShieblerEtAl20,
 author       = {Dan Shiebler and Alexis Toumi and Mehrnoosh Sadrzadeh},
 year         = {2020},
 title        = {Incremental {{Monoidal Grammars}}},
 journal      = {arXiv:2001.02296 [cs]},
)
@article(SivarajahEtAl20,
 author       = {Seyon Sivarajah and Silas Dilkes and Alexander Cowtan and Will Simmons and Alec Edgington and Ross Duncan},
 year         = {2020},
 title        = {Tket : {{A Retargetable Compiler}} for {{NISQ Devices}}},
 journal      = {arXiv:2003.10611 [quant-ph]},
)
@inproceedings(SobocinskiEtAl19,
 author       = {Pawe{\l} Soboci{\'n}ski and Paul~W. Wilson and Fabio Zanasi},
 year         = {2019},
 title        = {{{CARTOGRAPHER}}: {{A}} Tool for String Diagrammatic Reasoning},
 booktitle    = {{{CALCO}} 2019},
 volume       = {139},
 pages        = {20:1--20:7},
 doi          = {10.4230/LIPIcs.CALCO.2019.20},
)
@misc(Statebox20,
 author       = {Statebox},
 year         = {2020},
 title        = {Exchange Format for Morphisms in {{Monoidal Categories}}},
 howpublished = {https://github.com/statebox/monmor-spec},
)
@article(Street96,
 author       = {Ross Street},
 year         = {1996},
 title        = {Categorical Structures},
 journal      = {Handbook of algebra},
 volume       = {1},
 pages        = {529--577},
)
@inproceedings(Tantau13,
 author       = {Till Tantau},
 year         = {2013},
 title        = {Graph {{Drawing}} in {{TikZ}}},
 editor       = {Walter Didimo and Maurizio Patrignani},
 booktitle    = {Graph {{Drawing}}},
 series       = {Lecture {{Notes}} in {{Computer Science}}},
 publisher    = {{Springer}},
 address      = {{Berlin, Heidelberg}},
 pages        = {517--528},
 doi          = {10.1007/978-3-642-36763-2_46},
)
@article(VanderWaltEtAl11,
 author       = {{van der Walt}, Stefan and S.~Chris Colbert and Gael Varoquaux},
 year         = {2011},
 title        = {The {{NumPy Array}}: {{A Structure}} for {{Efficient Numerical Computation}}},
 journal      = {Computing in Science Engineering},
 volume       = {13},
 number       = {2},
 pages        = {22--30},
 doi          = {10.1109/MCSE.2011.37},
)
@article(WadsleyWoods15,
 author       = {Simon Wadsley and Nick Woods},
 year         = {2015},
 title        = {{{PROPs}} for {{Linear Systems}}},
 journal      = {arXiv:1505.00048 [math]},
)
@article(ZengCoecke16,
 author       = {William Zeng and Bob Coecke},
 year         = {2016},
 title        = {Quantum {{Algorithms}} for {{Compositional Natural Language Processing}}},
 journal      = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {221},
 pages        = {67--75},
 doi          = {10.4204/EPTCS.221.8},
)