References

  1. Mario Alvarez-Picallo, Dan R. Ghica, David Sprunger & Fabio Zanasi (2021): Functorial String Diagrams for Reverse-Mode Automatic Differentiation. ArXiv:2107.13433.
  2. Bruce Bartlett (2014): Quasistrict symmetric monoidal 2-categories via wire diagrams. ArXiv:1409.2148.
  3. 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.
  4. 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.
  5. 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.
  6. Joe Bolt, Jules Hedges & Philipp Zahn (2019): Bayesian open games. CoRR abs/1910.03656. ArXiv:1910.03656.
  7. 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.
  8. Dylan Braithwaite (2023): Diagrams for Actegories. Available at https://dylanbraithwaite.github.io/2023/01/31/diagrams-for-actegories.html.
  9. Matteo Capucci & Bruno Gavranovi\'c (2022): Actegories for the working amthematician. arXiv preprint arXiv:2203.16351.
  10. 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.
  11. Bryce Clarke, Derek Elkins, Jeremy Gibbons, Fosco Loregian, Bartosz Milewski, Emily Pillmore & Mario Román (2022): Profunctor Optics, a Categorical Update. ArXiv:2001.07488.
  12. 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.
  13. 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.
  14. 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.
  15. 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.
  16. 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.
  17. 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.
  18. 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.
  19. Matt Earnshaw, James Hefford & Mario Román (2023): The Produoidal Algebra of Process Decomposition. ArXiv:2301.11867.
  20. 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.
  21. James Hefford & Cole Comfort (2022): Coend Optics for Quantum Combs. ArXiv:2205.09027.
  22. Chris Heunen & Jamie Vicary (2019): Categories for Quantum Theory: an introduction. Oxford University Press, doi:10.1093/oso/9780198739623.001.0001.
  23. Keeley Hoek (2019): Drinfeld centers for bimodule categories. MSc. thesis, The Australian National University.
  24. 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.
  25. 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.
  26. 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.
  27. Paul Blain Levy (2022): Call-by-Push-Value. ACM SIGLOG News 9(2), pp. 7–29, doi:10.1145/3537668.3537670.
  28. Leo Lobski & Fabio Zanasi (2022): String Diagrams for Layered Explanations. CoRR abs/2207.03929, doi:10.48550/arXiv.2207.03929.
  29. Fosco Loregian (2021): (Co)end Calculus. London Mathematical Society Lecture Note Series. Cambridge University Press, doi:10.1017/9781108778657.
  30. Saunders Mac Lane (1971): Categories for the Working Mathematician. Graduate Texts in Mathematics 5. Springer Verlag, doi:10.1007/978-1-4757-4721-8.
  31. Paddy McCrudden (2000): Categories of representations of coalgebroids. Advances in Mathematics 154(2), pp. 299–332, doi:10.1006/aima.2000.1926.
  32. 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.
  33. Eugenio Moggi (1991): Notions of Computation and Monads. Inf. Comput. 93(1), pp. 55–92, doi:10.1016/0890-5401(91)90052-4.
  34. 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.
  35. Victor Ostrik (2003): Module categories, weak Hopf algebras and modular invariants. Transformation groups 8, pp. 177–206, doi:10.1007/s00031-003-0515-6.
  36. Craig Pastro & Ross Street (2007): Doubles for monoidal categories. arXiv preprint arXiv:0711.1859.
  37. 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.
  38. 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.
  39. Mitchell Riley (2018): Categories of optics. arXiv preprint arXiv:1809.00738.
  40. Mario Román (2020): Comb Diagrams for Discrete-Time Feedback. CoRR abs/2003.06214. ArXiv:2003.06214.
  41. 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.
  42. Mario Román (2022): Promonads and String Diagrams for Effectful Categories. CoRR abs/2205.07664, doi:10.48550/arXiv.2205.07664. ArXiv:2205.07664.
  43. Michael Shulman (2016): Categorical logic from a categorical point of view. Available on the web. Available at https://mikeshulman.github.io/catlog/catlog.pdf.
  44. Abraham Silberschatz, Peter Baer Galvin & Greg Gagne (2018): Operating System Concepts, 10th Edition. Wiley. Available at http://os-book.com/OS10/index.html.
  45. David I. Spivak (2022): Generalized Lens Categories via functors C^opCat. ArXiv:1908.02202.
  46. 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.
  47. 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.
  48. 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.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org