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