@misc(alvarezpicallo2021, author = {Alvarez-Picallo, Mario and Dan R. Ghica and David Sprunger and Fabio Zanasi}, year = {2021}, title = {Functorial String Diagrams for Reverse-Mode Automatic Differentiation}, eprint = {2107.13433}, ) @misc(bartlett14, author = {Bruce Bartlett}, year = {2014}, title = {Quasistrict symmetric monoidal 2-categories via wire diagrams}, eprint = {1409.2148}, ) @misc(bartlett2015modular, author = {Bruce Bartlett and Christopher L. Douglas and Schommer-Pries, Christopher J. and Jamie Vicary}, year = {2015}, title = {Modular categories as representations of the 3-dimensional bordism 2-category}, eprint = {1509.06811}, ) @article(boisseauG18, author = {Guillaume Boisseau and Jeremy Gibbons}, year = {2018}, title = {What you needa know about Yoneda: profunctor optics and the Yoneda lemma (functional pearl)}, journal = {Proc. {ACM} Program. Lang.}, volume = {2}, number = {{ICFP}}, pages = {84:1--84:27}, doi = {10.1145/3236779}, ) @inproceedings(boisseau21, author = {Guillaume Boisseau and Pawel Sobocinski}, year = {2021}, title = {String Diagrammatic Electrical Circuit Theory}, editor = {Kohei Kishida}, booktitle = {Proceedings of the Fourth International Conference on Applied Category Theory, {ACT} 2021, Cambridge, United Kingdom, 12-16th July 2021}, series = {{EPTCS}}, volume = {372}, pages = {178--191}, doi = {10.4204/EPTCS.372.13}, ) @article(bolt:bayesian, author = {Joe Bolt and Jules Hedges and Philipp Zahn}, year = {2019}, title = {Bayesian open games}, journal = {CoRR}, volume = {abs/1910.03656}, eprint = {1910.03656}, ) @article(bonchi19, author = {Filippo Bonchi and Joshua Holland and Robin Piedeleu and Paweł Sobociński and Fabio Zanasi}, year = {2019}, title = {Diagrammatic algebra: from linear to concurrent systems}, journal = {Proc. {ACM} Program. Lang.}, volume = {3}, number = {{POPL}}, pages = {25:1--25:28}, doi = {10.1145/3290338}, ) @misc(braithwaite2023, author = {Dylan Braithwaite}, year = {2023}, title = {Diagrams for Actegories}, url = {https://dylanbraithwaite.github.io/2023/01/31/diagrams-for-actegories.html}, ) @article(capucci2022actegories, author = {Matteo Capucci and Bruno Gavranovi{\'c}}, year = {2022}, title = {Actegories for the working amthematician}, journal = {arXiv preprint arXiv:2203.16351}, ) @article(chiribella2009, author = {Giulio Chiribella and Giacomo Mauro D'Ariano and Paolo Perinotti}, year = {2009}, title = {Theoretical framework for quantum networks}, journal = {Phys. Rev. A}, volume = {80}, pages = {022339}, doi = {10.1103/PhysRevA.80.022339}, ) @misc(clarke2022profunctor, author = {Bryce Clarke and Derek Elkins and Jeremy Gibbons and Fosco Loregian and Bartosz Milewski and Emily Pillmore and Mario Román}, year = {2022}, title = {Profunctor Optics, a Categorical Update}, eprint = {2001.07488}, ) @article(cockettP09, author = {Robin B. Cockett and Craig A. Pastro}, year = {2009}, title = {The logic of message-passing}, journal = {Science of Computer Programming}, volume = {74}, number = {8}, pages = {498--533}, doi = {10.1016/j.scico.2007.11.005}, ) @article(cockett1999linearly, author = {Robin B. Cockett and Robert A. G. Seely}, year = {1999}, title = {Linearly distributive functors}, journal = {Journal of Pure and Applied Algebra}, volume = {143}, number = {1-3}, pages = {155--203}, doi = {10.1016/S0022-4049(98)00110-8}, ) @article(coeckeFS16, author = {Bob Coecke and Tobias Fritz and Robert W. Spekkens}, year = {2016}, title = {A mathematical theory of resources}, journal = {Information and Computation}, volume = {250}, pages = {59--86}, doi = {10.1016/j.ic.2016.02.008}, ) @inproceedings(monoidalstreams, author = {Di Lavore, Elena and Giovanni de Felice and Mario Rom\'{a}n}, year = {2022}, title = {Monoidal Streams for Dataflow Programming}, booktitle = {Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science}, series = {LICS '22}, publisher = {Association for Computing Machinery}, address = {New York, NY, USA}, pages = {14}, doi = {10.1145/3531130.3533365}, ) @article(dijkstra1962over, author = {Edsger W. Dijkstra}, year = {1962}, title = {Over de sequentialiteit van procesbeschrijvingen}, journal = {Unpublished. Transcribed by Gerrit Jan Veltink for the E.W. Dijkstra Archive, Center for American History.}, url = {https://www.cs.utexas.edu/users/EWD/ewd00xx/EWD35.PDF}, ) @article(douglas19:balancedtensor, author = {Christopher L. Douglas and Schommer-Pries, Christopher and Noah Snyder}, year = {2019}, title = {The balanced tensor product of module categories}, journal = {Kyoto Journal of Mathematics}, volume = {59}, number = {1}, doi = {10.1215/21562261-2018-0006}, ) @article(drinfeld10, author = {Vladimir Drinfeld and Shlomo Gelaki and Dmitri Nikshych and Victor Ostrik}, year = {2010}, title = {On braided fusion categories I}, journal = {Selecta Mathematica}, volume = {16}, number = {1}, pages = {1--119}, doi = {10.1007/s00029-010-0017-z}, ) @misc(earnshaw2023produoidal, author = {Matt Earnshaw and James Hefford and Mario Román}, year = {2023}, title = {The Produoidal Algebra of Process Decomposition}, eprint = {2301.11867}, ) @inproceedings(compositionalGameTheory, author = {Neil Ghani and Jules Hedges and Viktor Winschel and Philipp Zahn}, year = {2018}, title = {Compositional Game Theory}, booktitle = {Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science}, series = {LICS '18}, publisher = {Association for Computing Machinery}, address = {New York, NY, USA}, pages = {472–481}, doi = {10.1145/3209108.3209165}, ) @misc(hefford2022coend, author = {James Hefford and Cole Comfort}, year = {2022}, title = {Coend Optics for Quantum Combs}, eprint = {2205.09027}, ) @book(heunen2019categories, author = {Chris Heunen and Jamie Vicary}, year = {2019}, title = {Categories for Quantum Theory: an introduction}, publisher = {Oxford University Press}, doi = {10.1093/oso/9780198739623.001.0001}, ) @phdthesis(hoek2019drinfeld, author = {Keeley Hoek}, year = {2019}, title = {Drinfeld centers for bimodule categories}, school = {MSc. thesis, The Australian National University}, ) @inproceedings(hu21trace, author = {Nick Hu and Jamie Vicary}, year = {2021}, title = {Traced Monoidal Categories as Algebraic Structures in Prof}, editor = {Ana Sokolova}, booktitle = {Proceedings 37th Conference on Mathematical Foundations of Programming Semantics, {MFPS} 2021, Hybrid: Salzburg, Austria and Online, 30th August - 2nd September, 2021}, series = {{EPTCS}}, volume = {351}, pages = {84--97}, doi = {10.4204/EPTCS.351.6}, ) @article(huffman1954synthesis, author = {David A Huffman}, year = {1954}, title = {The {Synthesis} of {Sequential} {Switching} {Circuits}}, journal = {Journal of the {Franklin} {Institute}}, volume = {257}, number = {3}, pages = {161--190}, doi = {10.1016/0016-0032(54)90574-8}, ) @article(joyal91, author = {André 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(levy2004, author = {Paul Blain Levy}, year = {2022}, title = {Call-by-Push-Value}, journal = {ACM SIGLOG News}, volume = {9}, number = {2}, pages = {7–29}, doi = {10.1145/3537668.3537670}, ) @article(lobskizanasi:layered, author = {Leo Lobski and Fabio Zanasi}, year = {2022}, title = {String Diagrams for Layered Explanations}, journal = {CoRR}, volume = {abs/2207.03929}, doi = {10.48550/arXiv.2207.03929}, ) @book(loregian2021, author = {Fosco Loregian}, year = {2021}, title = {(Co)end Calculus}, series = {London Mathematical Society Lecture Note Series}, publisher = {Cambridge University Press}, doi = {10.1017/9781108778657}, ) @book(macLane1971, author = {Mac Lane, Saunders}, year = {1971}, title = {Categories for the Working Mathematician}, series = {Graduate Texts in Mathematics}, volume = {5}, publisher = {Springer Verlag}, doi = {10.1007/978-1-4757-4721-8}, ) @article(mccrudden00:categories, author = {Paddy McCrudden}, year = {2000}, title = {Categories of representations of coalgebroids}, journal = {Advances in Mathematics}, volume = {154}, number = {2}, pages = {299--332}, doi = {10.1006/aima.2000.1926}, ) @inproceedings(mellies06, author = {Paul{-}Andr{\'{e}} Melli{\`{e}}s}, year = {2006}, title = {Functorial Boxes in String Diagrams}, editor = {Zolt{\'{a}}n {\'{E}}sik}, booktitle = {Computer Science Logic, 20th International Workshop, {CSL} 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4207}, publisher = {Springer}, pages = {1--30}, doi = {10.1007/11874683\_1}, ) @article(moggi91, author = {Eugenio Moggi}, year = {1991}, title = {Notions of Computation and Monads}, journal = {Inf. Comput.}, volume = {93}, number = {1}, pages = {55--92}, doi = {10.1016/0890-5401(91)90052-4}, ) @inproceedings(nester20ledger, author = {Chad Nester}, year = {2020}, title = {A Foundation for Ledger Structures}, editor = {Emmanuelle Anceaume and Christophe Bisi{\`{e}}re and Matthieu Bouvard and Quentin Bramas and Catherine Casamatta}, booktitle = {2nd International Conference on Blockchain Economics, Security and Protocols, Tokenomics 2020, October 26-27, 2020, Toulouse, France}, series = {OASIcs}, volume = {82}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, pages = {7:1--7:13}, doi = {10.4230/OASIcs.Tokenomics.2020.7}, ) @article(ostrik03:modulecategories, author = {Victor Ostrik}, year = {2003}, title = {Module categories, weak Hopf algebras and modular invariants}, journal = {Transformation groups}, volume = {8}, pages = {177--206}, doi = {10.1007/s00031-003-0515-6}, ) @article(pastro07doubles, author = {Craig Pastro and Ross Street}, year = {2007}, title = {Doubles for monoidal categories}, journal = {arXiv preprint arXiv:0711.1859}, ) @article(patterson2021, author = {Evan Patterson and David I. Spivak and Dmitry Vagner}, year = {2021}, title = {Wiring diagrams as normal forms for computing in symmetric monoidal categories}, journal = {Electronic Proceedings in Theoretical Computer Science}, volume = {333}, pages = {49--64}, doi = {10.4204/eptcs.333.4}, ) @inproceedings(pirog16:stringsfreemonads, author = {Maciej Pir{\'{o}}g and Nicolas Wu}, year = {2016}, title = {String diagrams for free monads (functional pearl)}, editor = {Jacques Garrigue and Gabriele Keller and Eijiro Sumii}, booktitle = {Proceedings of the 21st {ACM} {SIGPLAN} International Conference on Functional Programming, {ICFP} 2016, Nara, Japan, September 18-22, 2016}, publisher = {{ACM}}, pages = {490--501}, doi = {10.1145/2951913.2951947}, ) @article(riley2018categories, author = {Mitchell Riley}, year = {2018}, title = {Categories of optics}, journal = {arXiv preprint arXiv:1809.00738}, ) @article(roman2020, author = {Mario Rom{\'{a}}n}, year = {2020}, title = {Comb Diagrams for Discrete-Time Feedback}, journal = {CoRR}, volume = {abs/2003.06214}, eprint = {2003.06214}, ) @inproceedings(roman21, author = {Mario Rom{\'{a}}n}, year = {2020}, title = {Open Diagrams via Coend Calculus}, editor = {David I. Spivak and Jamie Vicary}, booktitle = {Proceedings of the 3rd Annual International Applied Category Theory Conference 2020, {ACT} 2020, Cambridge, USA, 6-10th July 2020}, series = {{EPTCS}}, volume = {333}, pages = {65--78}, doi = {10.4204/EPTCS.333.5}, ) @article(roman:effectful, author = {Mario Rom{\'{a}}n}, year = {2022}, title = {Promonads and String Diagrams for Effectful Categories}, journal = {CoRR}, volume = {abs/2205.07664}, doi = {10.48550/arXiv.2205.07664}, eprint = {2205.07664}, ) @article(shulman2016categorical, author = {Michael Shulman}, year = {2016}, title = {Categorical logic from a categorical point of view}, journal = {Available on the web}, url = {https://mikeshulman.github.io/catlog/catlog.pdf}, ) @book(SGG:operatingsystems, author = {Abraham Silberschatz and Peter Baer Galvin and Greg Gagne}, year = {2018}, title = {Operating System Concepts, 10th Edition}, publisher = {Wiley}, url = {http://os-book.com/OS10/index.html}, ) @misc(spivak2022generalized, author = {David I. Spivak}, year = {2022}, title = {Generalized Lens Categories via functors $\mathcal{C}^{\rm op}\to\mathsf {Cat}$}, eprint = {1908.02202}, ) @inproceedings(staton13, author = {Sam Staton and Paul Blain Levy}, year = {2013}, title = {Universal properties of impure programming languages}, editor = {Roberto Giacobazzi and Radhia Cousot}, booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25, 2013}, publisher = {{ACM}}, pages = {179--192}, doi = {10.1145/2429069.2429091}, ) @article(street1981cauchy, author = {Ross Street}, year = {1981}, title = {Cauchy characterization of enriched categories}, journal = {Rendiconti del Seminario Matematico e Fisico di Milano}, volume = {51}, number = {1}, pages = {217--233}, doi = {10.1007/BF02924823}, ) @article(skoda09:equivariant, author = {Zoran Škoda}, year = {2009}, title = {Some equivariant constructions in noncommutative algebraic geometry}, journal = {Georgian Mathematical Journal}, volume = {16}, number = {1}, pages = {183--202}, doi = {10.1515/GMJ.2009.183}, eprint = {0811.4770}, )