@inproceedings(containers, author = {Michael~Gordon Abbott and Thorsten Altenkirch and Neil Ghani}, year = {2003}, title = {Categories of Containers}, editor = {Andrew~D. Gordon}, booktitle = {Foundations of Software Science and Computational Structures (FOSSACS 2003)}, series = {Lecture Notes in Computer Science}, volume = {2620}, publisher = {Springer}, pages = {23--38}, doi = {10.1007/3-540-36576-1\_2}, ) @article(bobArrows, author = {Robert Atkey}, year = {2011}, title = {What is a Categorical Model of Arrows?}, journal = {Electron. Notes Theor. Comput. Sci.}, volume = {229}, number = {5}, pages = {19--37}, doi = {10.1016/j.entcs.2011.02.014}, ) @article(gibbonsPearl, author = {Guillaume Boisseau and Jeremy Gibbons}, year = {2018}, title = {What You Needa Know about {Y}oneda: Profunctor Optics and the {Y}oneda Lemma (Functional Pearl)}, journal = {Proc. ACM Program. Lang.}, volume = {2}, number = {ICFP}, doi = {10.1145/3236779}, ) @misc(BoltHZ19, author = {Joe Bolt and Jules Hedges and Philipp Zahn}, year = {2019}, title = {Bayesian open games}, howpublished = {\href{https://arxiv.org/abs/1910.03656}{arXiv:1910.03656}}, ) @misc(milewski, author = {Bryce Clarke and Derek Elkins and Jeremy Gibbons and Fosco Loregi{\`{a}}n and Bartosz Milewski and Emily Pillmore and Mario Rom{\'{a}}n}, year = {2020}, title = {Profunctor optics, a categorical update}, howpublished = {\href{https://arxiv.org/abs/2001.07488}{arXiv:2001.07488}}, ) @inproceedings(dioptics, author = {David Dalrymple}, year = {2019}, title = {Dioptics: a Common Generalization of Open Games and Gradient-Based Learners}, booktitle = {Fifth Symposium on Compositional Structures (SYCO 5)}, ) @inproceedings(backprop, author = {Brendan Fong and David~I. Spivak and R{\'{e}}my Tuy{\'{e}}ras}, year = {2019}, title = {Backprop as Functor: A compositional perspective on supervised learning}, booktitle = {Logic in Computer Science (LICS 2019)}, pages = {1--13}, doi = {10.1109/LICS.2019.8785665}, ) @mastersthesis(brunoMSc, author = {Bruno Gavranovi{\'c}}, year = {2019}, title = {Compositional Deep Learning}, school = {University of Zagreb}, note = {Available at \href{https://arxiv.org/abs/1907.08292}{arXiv:1907.08292}.}, ) @inproceedings(GhaniHWZ18, author = {Neil Ghani and Jules Hedges and Viktor Winschel and Philipp Zahn}, year = {2018}, title = {Compositional Game Theory}, editor = {Anuj Dawar and Erich Gr{\"{a}}del}, booktitle = {Logic in Computer Science (LICS 2018)}, pages = {472--481}, doi = {10.1145/3209108.3209165}, ) @article(GhaniKLF18, author = {Neil Ghani and Clemens Kupke and Alasdair Lambert and Nordvall~Forsberg, Fredrik}, year = {2018}, title = {A compositional treatment of iterated open games}, journal = {Theor. Comput. Sci.}, volume = {741}, pages = {48--57}, doi = {10.1016/j.tcs.2018.05.026}, ) @inproceedings(probOG, author = {Neil Ghani and Clemens Kupke and Alasdair Lambert and Nordvall~Forsberg, Fredrik}, year = {2019}, title = {Compositional Game Theory with Mixed Strategies: Probabilistic Open Games Using a Distributive Law}, booktitle = {Applied Category Theory (ACT 2019)}, ) @phdthesis(julesPhD, author = {Jules Hedges}, year = {2016}, title = {Towards compositional game theory}, school = {Queen Mary University of London}, ) @inproceedings(julesMorphisms, author = {Jules Hedges}, year = {2018}, title = {Morphisms of Open Games}, editor = {Sam Staton}, booktitle = {Mathematical Foundations of Programming Semantics (MFPS 2018)}, series = {Electronic Notes in Theoretical Computer Science}, volume = {341}, pages = {151--177}, doi = {10.1016/j.entcs.2018.11.008}, ) @misc(JulesGameSemantics, author = {Jules Hedges}, year = {2019}, title = {The game semantics of game theory}, howpublished = {\href{https://arxiv.org/abs/1904.11287}{arXiv:1904.11287}}, ) @misc(julesSoftware, author = {Jules Hedges}, year = {2020}, title = {Open games in {H}askell}, howpublished = {Repository at \url{https://github.com/jules-hedges/open-games-hs}}, ) @inproceedings(HeunenJ06, author = {Chris Heunen and Bart Jacobs}, year = {2006}, title = {Arrows, like Monads, are Monoids}, booktitle = {Mathematical Foundations of Programming Semantics (MFPS 2006)}, series = {Electronic Notes in Theoretical Computer Science}, volume = {158}, publisher = {Elsevier}, pages = {219--236}, doi = {10.1016/j.entcs.2006.04.012}, ) @article(hughesArrows, author = {John Hughes}, year = {2000}, title = {Generalising monads to arrows}, journal = {Science of Computer Programming}, volume = {37}, number = {1--3}, pages = {67--111}, doi = {10.1016/s0167-6423(99)00023-4}, ) @article(hancocksTensor, author = {Pierre Hyvernat}, year = {2014}, title = {A linear category of polynomial diagrams}, journal = {Mathematical Structures in Computer Science}, volume = {24}, number = {1}, doi = {10.1017/S0960129512001016}, ) @book(jacobs, author = {Bart Jacobs}, year = {1998}, title = {Categorical Logic and Type Theory}, series = {Studies in Logic and the Foundations of Mathematics}, volume = {141}, publisher = {Elsevier}, doi = {10.1016/S0049-237X(98)80028-1}, ) @inproceedings(katsumata2014parametric, author = {Shin-ya Katsumata}, year = {2014}, title = {Parametric effect monads and semantics of effect systems}, booktitle = {Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages}, pages = {633--645}, doi = {10.1145/2578855.2535846}, ) @book(coendcalc, author = {Fosco Loregian}, year = {2019}, title = {Coend calculus}, publisher = {\href{https://arxiv.org/abs/1501.02503}{arXiv:1501.02503}}, ) @article(pastroStreet2008, 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}, ) @misc(catOptics, author = {Mitchell Riley}, year = {2018}, title = {Categories of Optics}, howpublished = {\href{https://arxiv.org/abs/1809.00738}{arXiv:1809.00738}}, ) @article(RivasJ17, author = {Exequiel Rivas and Mauro Jaskelioff}, year = {2017}, title = {Notions of computation as monoids}, journal = {J. Funct. Program.}, volume = {27}, pages = {e21}, doi = {10.1017/S0956796817000132}, ) @misc(combs, author = {Rom\IeC{\'a}n, Mario}, year = {2020}, title = {Comb Diagrams for Discrete-Time Feedback}, howpublished = {\href{https://arxiv.org/abs/2003.06214}{arXiv:2003.06214}}, ) @article(shulman2008monfib, author = {Michael Shulman}, year = {2008}, title = {Framed bicategories and monoidal fibrations}, journal = {Theory and applications of categories}, volume = {20}, number = {18}, pages = {650--738}, ) @misc(spivakGenLens, author = {David~I. Spivak}, year = {2019}, title = {Generalized Lens Categories via functors ${C}^{\unhbox\voidb@x \hbox{op}} \rightarrow\mathsf {Cat}$}, howpublished = {\href{https://arxiv.org/abs/1908.02202}{arXiv:1908.02202}}, )