@article(baez2019structured,
 author       = {John~C. Baez and Kenny Courser},
 year         = {2019},
 title        = {Structured Cospans},
 journal      = {arXiv preprint 1911.04630},
 url          = {http://arxiv.org/abs/1911.04630},
)
@article(bartlett2014quasistrict,
 author       = {Bruce Bartlett},
 year         = {2014},
 title        = {Quasistrict {Symmetric} {Monoidal} {2-Categories} {Via} {Wire} {Diagrams}},
 journal      = {arXiv preprint 1409.2148},
)
@article(bartlett15,
 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},
 journal      = {arXiv preprint arXiv:1509.06811},
)
@article(boisseau19,
 author       = {Guillaume Boisseau},
 year         = {2020},
 title        = {String {D}iagrams for {O}ptics},
 journal      = {arXiv preprint arXiv:2002.11480},
)
@article(boisseau18,
 author       = {Guillaume Boisseau and Jeremy Gibbons},
 year         = {2018},
 title        = {{W}hat {Y}ou {N}eeda {K}now {A}bout {Y}oneda: {P}rofunctor {O}ptics and the {Y}oneda {L}emma ({F}unctional {P}earl)},
 journal      = {{PACMPL}},
 volume       = {2},
 number       = {{ICFP}},
 pages        = {84:1--84:27},
 doi          = {10.1145/3236779},
)
@article(bonchi:relational,
 author       = {Filippo Bonchi and Dusko Pavlovic and Pawe{\l} Soboci{\'{n}}ski},
 year         = {2017},
 title        = {Functorial Semantics for Relational Theories},
 journal      = {CoRR},
 volume       = {abs/1711.08699},
 url          = {http://arxiv.org/abs/1711.08699},
)
@article(carboni2008cartesian,
 author       = {Aurelio Carboni and G~Max Kelly and Robert~FC Walters and Richard~J Wood},
 year         = {2008},
 title        = {Cartesian {Bicategories} {II}},
 journal      = {Theory and Applications of Categories},
 volume       = {19},
 number       = {6},
 pages        = {93--124},
)
@article(chiribella08,
 author       = {G.~Chiribella and D\IeC{\textquoteright}Ariano, G.~M. and P.~Perinotti},
 year         = {2008},
 title        = {Quantum {Circuits} {Architecture}},
 journal      = {Physical Review Letters},
 volume       = {101},
 number       = {6},
 doi          = {10.1103/physrevlett.101.060401},
)
@article(profunctor20,
 author       = {Bryce Clarke and Derek Elkins and Jeremy Gibbons and Fosco Loregian and Bartosz Milewski and Emily Pillmore and Rom\IeC{\'a}n, Mario},
 year         = {2020},
 title        = {Profunctor optics, a categorical update},
 journal      = {arXiv preprint arXiv:1501.02503},
)
@article(fong2015decorated,
 author       = {Brendan Fong},
 year         = {2015},
 title        = {Decorated {C}ospans},
 journal      = {arXiv preprint 1502.00872},
 url          = {http://arxiv.org/abs/1502.00872},
)
@article(fong19,
 author       = {Brendan Fong and Michael Johnson},
 year         = {2019},
 title        = {{Lenses} and {Learners}},
 journal      = {CoRR},
 volume       = {abs/1903.03671},
 url          = {http://arxiv.org/abs/1903.03671},
)
@article(fong:regularlogic,
 author       = {Brendan Fong and David~I. Spivak},
 year         = {2018},
 title        = {Graphical Regular Logic},
 journal      = {CoRR},
 volume       = {abs/1812.05765},
 url          = {http://arxiv.org/abs/1812.05765},
)
@inproceedings(ghani18,
 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, {LICS} 2018, Oxford, UK, July 09-12, 2018},
 pages        = {472--481},
 doi          = {10.1145/3209108.3209165},
)
@article(hansen19,
 author       = {Linde~Wester Hansen and Michael Shulman},
 year         = {2019},
 title        = {Constructing symmetric monoidal bicategories functorially},
 journal      = {arXiv preprint arXiv:1910.09240},
)
@article(nathan:firstorderpierce,
 author       = {Nathan Haydon and Soboci\IeC{\'n}ski, Pawe\IeC{\l}},
 year         = {2020},
 title        = {Compositional Diagrammatic First-Order Logic},
 journal      = {In Peer Review},
)
@article(hedges17,
 author       = {Jules Hedges},
 year         = {2017},
 title        = {Coherence for lenses and open games},
 journal      = {CoRR},
 volume       = {abs/1704.02230},
 url          = {http://arxiv.org/abs/1704.02230},
)
@inbook(kapranov:higherlinear,
 author       = {M.~M. Kapranov and V.~A. Voevodsky},
 year         = {1994},
 title        = {2-categories and Zamolodchikov tetrahedra equations},
 pages        = {177{\textendash}259},
 series       = {Proc. Sympos. Pure Math.},
 volume       = {56},
 publisher    = {Amer. Math. Soc., Providence, RI},
 doi          = {10.1090/pspum/056.2/1278735},
)
@misc(katis2008partita,
 author       = {Piergiulio Katis and N.~Sabadini and R.~F.~C. Walters},
 year         = {2008},
 title        = {On partita doppia},
 url          = {http://arxiv.org/abs/0803.2429},
)
@article(katis:feedback,
 author       = {Piergiulio Katis and Nicoletta Sabadini and Robert F.~C. Walters},
 year         = {2002},
 title        = {Feedback, trace and fixed-point semantics},
 journal      = {{ITA}},
 volume       = {36},
 number       = {2},
 pages        = {181--194},
 doi          = {10.1051/ita:2002009},
)
@inproceedings(uijlen17,
 author       = {Aleks Kissinger and Sander Uijlen},
 year         = {2017},
 title        = {A categorical semantics for causal structure},
 booktitle    = {32nd Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2017, Reykjavik, Iceland, June 20-23, 2017},
 publisher    = {{IEEE} Computer Society},
 pages        = {1--12},
 doi          = {10.1109/LICS.2017.8005095},
)
@misc(kmett15,
 author       = {Edward Kmett},
 year         = {2012--2018},
 title        = {lens library, Version 4.16},
 howpublished = {Hackage \url{https://hackage.haskell.org/package/lens-4.16}},
)
@article(loregian19,
 author       = {Fosco Loregian},
 year         = {2019},
 title        = {Coend calculus},
 journal      = {arXiv preprint arXiv:1501.02503},
)
@inproceedings(mellies06,
 author       = {Paul{-}Andr{\'{e}} Melli{\`{e}}s},
 year         = {2006},
 title        = {Functorial Boxes in String Diagrams},
 booktitle    = {Computer Science Logic, 20th International Workshop, {CSL} 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings},
 pages        = {1--30},
 doi          = {{10.1007/11874683{\_}1}},
)
@misc(milewski17,
 author       = {Bartosz Milewski},
 year         = {2017},
 title        = {Profunctor optics: the categorical view},
 howpublished = {\url{https://bartoszmilewski.com/2017/07/07/profunctor-optics-the-categorical-view/}},
)
@article(moeller18,
 author       = {Joe Moeller and Christina Vasilakopoulou},
 year         = {2018},
 title        = {Monoidal {Grothendieck} construction},
 journal      = {arXiv preprint arXiv:1809.00727},
)
@article(myers2016string,
 author       = {David~Jaz Myers},
 year         = {2016},
 title        = {String Diagrams For Double Categories and Equipments},
 journal      = {arXiv preprint 1612.02762},
)
@article(pastro08,
 author       = {Craig Pastro and Ross Street},
 year         = {2008},
 title        = {Doubles for monoidal categories},
 journal      = {Theory and applications of categories},
 volume       = {21},
 number       = {4},
 pages        = {61--75},
)
@article(pickering17,
 author       = {Matthew Pickering and Jeremy Gibbons and Nicolas Wu},
 year         = {2017},
 title        = {Profunctor {O}ptics: {M}odular {D}ata {A}ccessors},
 journal      = {Programming Journal},
 volume       = {1},
 number       = {2},
 pages        = {7},
 doi          = {10.22152/programming-journal.org/2017/1/7},
)
@article(riley18,
 author       = {Mitchell Riley},
 year         = {2018},
 title        = {Categories of {Optics}},
 journal      = {arXiv preprint arXiv:1809.00738},
)
@article(roman:combfeedback,
 author       = {Rom\IeC{\'a}n, Mario},
 year         = {2020},
 title        = {Comb {D}iagrams for {D}iscrete-{T}ime {F}eedback},
 journal      = {arXiv preprint arXiv:2003.06214},
)
@misc(schommerpries2011classification,
 author       = {Schommer-Pries, Christopher~J.},
 year         = {2011},
 title        = {The Classification of Two-Dimensional Extended Topological Field Theories},
)
@article(schultz16,
 author       = {Patrick Schultz and David~I. Spivak and Christina Vasilakopoulou},
 year         = {2019},
 title        = {Dynamical Systems and Sheaves},
 journal      = {Applied Categorical Structures},
 volume       = {28},
 number       = {1},
 pages        = {1--57},
 doi          = {10.1007/s10485-019-09565-x},
)
@article(stay2013compact,
 author       = {Michael Stay},
 year         = {2013},
 title        = {Compact Closed Bicategories},
 journal      = {arXiv preprint arXiv:1301.1053},
)
@misc(willerton:twotraces,
 author       = {Simon Willerton},
 year         = {2010},
 title        = {{Two} 2-{Traces}},
 howpublished = {Slides from a talk, University of Sheffield, \url{http://www.simonwillerton.staff.shef.ac.uk/ftp/TwoTracesBeamerTalk.pdf}},
)