Michael Gordon Abbott
Thorsten Altenkirch
Neil Ghani
2003
Categories of Containers
Andrew D. Gordon
Foundations of Software Science and Computational Structures (FOSSACS 2003)
Lecture Notes in Computer Science
2620
Springer
23–38
10.1007/3-540-36576-1_2
Robert Atkey
2011
What is a Categorical Model of Arrows?
Electron. Notes Theor. Comput. Sci.
229
5
19–37
10.1016/j.entcs.2011.02.014
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
10.1145/3236779
Joe Bolt
Jules Hedges
Philipp Zahn
2019
Bayesian open games
arXiv:1910.03656
Bryce Clarke
Derek Elkins
Jeremy Gibbons
Fosco Loregiàn
Bartosz Milewski
Emily Pillmore
Mario Román
2020
Profunctor optics, a categorical update
arXiv:2001.07488
David Dalrymple
2019
Dioptics: a Common Generalization of Open Games and Gradient-Based Learners
Fifth Symposium on Compositional Structures (SYCO 5)
Brendan Fong
David I. Spivak
Rémy Tuyéras
2019
Backprop as Functor: A compositional perspective on supervised learning
Logic in Computer Science (LICS 2019)
1–13
10.1109/LICS.2019.8785665
Bruno Gavranovi\'c
2019
Compositional Deep Learning
University of Zagreb
Available at arXiv:1907.08292.
Neil Ghani
Jules Hedges
Viktor Winschel
Philipp Zahn
2018
Compositional Game Theory
Anuj Dawar
Erich Grädel
Logic in Computer Science (LICS 2018)
472–481
10.1145/3209108.3209165
Neil Ghani
Clemens Kupke
Alasdair Lambert
Fredrik Nordvall Forsberg
2018
A compositional treatment of iterated open games
Theor. Comput. Sci.
741
48–57
10.1016/j.tcs.2018.05.026
Neil Ghani
Clemens Kupke
Alasdair Lambert
Fredrik Nordvall Forsberg
2019
Compositional Game Theory with Mixed Strategies: Probabilistic Open Games Using a Distributive Law
Applied Category Theory (ACT 2019)
Jules Hedges
2016
Towards compositional game theory
Queen Mary University of London
Jules Hedges
2018
Morphisms of Open Games
Sam Staton
Mathematical Foundations of Programming Semantics (MFPS 2018)
Electronic Notes in Theoretical Computer Science
341
151–177
10.1016/j.entcs.2018.11.008
Jules Hedges
2019
The game semantics of game theory
arXiv:1904.11287
Jules Hedges
2020
Open games in Haskell
Repository at https://github.com/jules-hedges/open-games-hs
Chris Heunen
Bart Jacobs
2006
Arrows, like Monads, are Monoids
Mathematical Foundations of Programming Semantics (MFPS 2006)
Electronic Notes in Theoretical Computer Science
158
Elsevier
219–236
10.1016/j.entcs.2006.04.012
John Hughes
2000
Generalising monads to arrows
Science of Computer Programming
37
1–3
67–111
10.1016/s0167-6423(99)00023-4
Pierre Hyvernat
2014
A linear category of polynomial diagrams
Mathematical Structures in Computer Science
24
1
10.1017/S0960129512001016
Bart Jacobs
1998
Categorical Logic and Type Theory
Studies in Logic and the Foundations of Mathematics
141
Elsevier
10.1016/S0049-237X(98)80028-1
Shin-ya Katsumata
2014
Parametric effect monads and semantics of effect systems
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
633–645
10.1145/2578855.2535846
Fosco Loregian
2019
Coend calculus
arXiv:1501.02503
Craig Pastro
Ross Street
2008
Doubles for monoidal categories
Theory and Applications of Categories
21
4
61–75
Mitchell Riley
2018
Categories of Optics
arXiv:1809.00738
Exequiel Rivas
Mauro Jaskelioff
2017
Notions of computation as monoids
J. Funct. Program.
27
e21
10.1017/S0956796817000132
Mario Román
2020
Comb Diagrams for Discrete-Time Feedback
arXiv:2003.06214
Michael Shulman
2008
Framed bicategories and monoidal fibrations
Theory and applications of categories
20
18
650–738
David I. Spivak
2019
Generalized Lens Categories via functors C^\voidb@x op →Cat
arXiv:1908.02202