John C. Baez & Kenny Courser (2019):
Structured Cospans.
arXiv preprint 1911.04630.
Available at http://arxiv.org/abs/1911.04630.
Bruce Bartlett (2014):
Quasistrict Symmetric Monoidal 2-Categories Via Wire Diagrams.
arXiv preprint 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 preprint arXiv:1509.06811.
Guillaume Boisseau (2020):
String Diagrams for Optics.
arXiv preprint arXiv:2002.11480.
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.
Filippo Bonchi, Dusko Pavlovic & PawełSobociński (2017):
Functorial Semantics for Relational Theories.
CoRR abs/1711.08699.
Available at http://arxiv.org/abs/1711.08699.
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.
G. Chiribella, G. M. DAriano & P. Perinotti (2008):
Quantum Circuits Architecture.
Physical Review Letters 101(6),
doi:10.1103/physrevlett.101.060401.
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.
Brendan Fong & Michael Johnson (2019):
Lenses and Learners.
CoRR abs/1903.03671.
Available at http://arxiv.org/abs/1903.03671.
Brendan Fong & David I. Spivak (2018):
Graphical Regular Logic.
CoRR abs/1812.05765.
Available at http://arxiv.org/abs/1812.05765.
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.
Jules Hedges (2017):
Coherence for lenses and open games.
CoRR abs/1704.02230.
Available at http://arxiv.org/abs/1704.02230.
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.
Piergiulio Katis, N. Sabadini & R. F. C. Walters (2008):
On partita doppia.
Available at http://arxiv.org/abs/0803.2429.
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.
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.
Edward Kmett (2012–2018):
lens library, Version 4.16.
Hackage https://hackage.haskell.org/package/lens-4.16.
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.
Bartosz Milewski (2017):
Profunctor optics: the categorical view.
https://bartoszmilewski.com/2017/07/07/profunctor-optics-the-categorical-view/.
Joe Moeller & Christina Vasilakopoulou (2018):
Monoidal Grothendieck construction.
arXiv preprint arXiv:1809.00727.
David Jaz Myers (2016):
String Diagrams For Double Categories and Equipments.
arXiv preprint 1612.02762.
Craig Pastro & Ross Street (2008):
Doubles for monoidal categories.
Theory and applications of categories 21(4),
pp. 61–75.
Matthew Pickering, Jeremy Gibbons & Nicolas Wu (2017):
Profunctor Optics: Modular Data Accessors.
Programming Journal 1(2),
pp. 7,
doi:10.22152/programming-journal.org/2017/1/7.
Mitchell Riley (2018):
Categories of Optics.
arXiv preprint arXiv:1809.00738.
Mario Román (2020):
Comb Diagrams for Discrete-Time Feedback.
arXiv preprint arXiv:2003.06214.
Christopher J. Schommer-Pries (2011):
The Classification of Two-Dimensional Extended Topological Field Theories.
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.
Michael Stay (2013):
Compact Closed Bicategories.
arXiv preprint arXiv:1301.1053.
Simon Willerton (2010):
Two 2-Traces.
Slides from a talk, University of Sheffield, http://www.simonwillerton.staff.shef.ac.uk/ftp/TwoTracesBeamerTalk.pdf.
eptcs@eptcs.org