1. John C. Baez & Kenny Courser (2019): Structured Cospans. arXiv preprint 1911.04630. Available at
  2. Bruce Bartlett (2014): Quasistrict Symmetric Monoidal 2-Categories Via Wire Diagrams. arXiv preprint 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 preprint arXiv:1509.06811.
  4. Guillaume Boisseau (2020): String Diagrams for Optics. arXiv preprint arXiv:2002.11480.
  5. Guillaume Boisseau & Jeremy Gibbons (2018): What You Needa Know About Yoneda: Profunctor Optics and the Yoneda Lemma (Functional Pearl). PACMPL 2(ICFP), pp. 84:1–84:27, doi:10.1145/3236779.
  6. Filippo Bonchi, Dusko Pavlovic & PawełSobociński (2017): Functorial Semantics for Relational Theories. CoRR abs/1711.08699. Available at
  7. Aurelio Carboni, G Max Kelly, Robert FC Walters & Richard J Wood (2008): Cartesian Bicategories II. Theory and Applications of Categories 19(6), pp. 93–124.
  8. G. Chiribella, G. M. DAriano & P. Perinotti (2008): Quantum Circuits Architecture. Physical Review Letters 101(6), doi:10.1103/physrevlett.101.060401.
  9. Bryce Clarke, Derek Elkins, Jeremy Gibbons, Fosco Loregian, Bartosz Milewski, Emily Pillmore & Mario Román (2020): Profunctor optics, a categorical update. arXiv preprint arXiv:1501.02503.
  10. Brendan Fong (2015): Decorated Cospans. arXiv preprint 1502.00872. Available at
  11. Brendan Fong & Michael Johnson (2019): Lenses and Learners. CoRR abs/1903.03671. Available at
  12. Brendan Fong & David I. Spivak (2018): Graphical Regular Logic. CoRR abs/1812.05765. Available at
  13. 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 2018, Oxford, UK, July 09-12, 2018, pp. 472–481, doi:10.1145/3209108.3209165.
  14. Linde Wester Hansen & Michael Shulman (2019): Constructing symmetric monoidal bicategories functorially. arXiv preprint arXiv:1910.09240.
  15. Nathan Haydon & Pawe\IeCł Sobociński (2020): Compositional Diagrammatic First-Order Logic. In Peer Review.
  16. Jules Hedges (2017): Coherence for lenses and open games. CoRR abs/1704.02230. Available at
  17. M. M. Kapranov & V. A. Voevodsky (1994): 2-categories and Zamolodchikov tetrahedra equations, pp. 177259, Proc. Sympos. Pure Math. 56. Amer. Math. Soc., Providence, RI, doi:10.1090/pspum/056.2/1278735.
  18. Piergiulio Katis, N. Sabadini & R. F. C. Walters (2008): On partita doppia. Available at
  19. Piergiulio Katis, Nicoletta Sabadini & Robert F. C. Walters (2002): Feedback, trace and fixed-point semantics. ITA 36(2), pp. 181–194, doi:10.1051/ita:2002009.
  20. Aleks Kissinger & Sander Uijlen (2017): A categorical semantics for causal structure. In: 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017. IEEE Computer Society, pp. 1–12, doi:10.1109/LICS.2017.8005095.
  21. Edward Kmett (2012–2018): lens library, Version 4.16. Hackage
  22. Fosco Loregian (2019): Coend calculus. arXiv preprint arXiv:1501.02503.
  23. Paul-André Melliès (2006): Functorial Boxes in String Diagrams. In: Computer Science Logic, 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings, pp. 1–30, doi:10.1007/11874683_1.
  24. Bartosz Milewski (2017): Profunctor optics: the categorical view.
  25. Joe Moeller & Christina Vasilakopoulou (2018): Monoidal Grothendieck construction. arXiv preprint arXiv:1809.00727.
  26. David Jaz Myers (2016): String Diagrams For Double Categories and Equipments. arXiv preprint 1612.02762.
  27. Craig Pastro & Ross Street (2008): Doubles for monoidal categories. Theory and applications of categories 21(4), pp. 61–75.
  28. Matthew Pickering, Jeremy Gibbons & Nicolas Wu (2017): Profunctor Optics: Modular Data Accessors. Programming Journal 1(2), pp. 7, doi:10.22152/
  29. Mitchell Riley (2018): Categories of Optics. arXiv preprint arXiv:1809.00738.
  30. Mario Román (2020): Comb Diagrams for Discrete-Time Feedback. arXiv preprint arXiv:2003.06214.
  31. Christopher J. Schommer-Pries (2011): The Classification of Two-Dimensional Extended Topological Field Theories.
  32. Patrick Schultz, David I. Spivak & Christina Vasilakopoulou (2019): Dynamical Systems and Sheaves. Applied Categorical Structures 28(1), pp. 1–57, doi:10.1007/s10485-019-09565-x.
  33. Michael Stay (2013): Compact Closed Bicategories. arXiv preprint arXiv:1301.1053.
  34. Simon Willerton (2010): Two 2-Traces. Slides from a talk, University of Sheffield,

Comments and questions to:
For website issues: