Translating Extensive Form Games to Open Games with Agency

Matteo Capucci
(University of Strathclyde)
Neil Ghani
(University of Strathclyde)
Jérémy Ledent
(University of Strathclyde)
Fredrik Nordvall Forsberg
(University of Strathclyde)

We show open games cover extensive form games with both perfect and imperfect information. Doing so forces us to address two current weaknesses in open games: the lack of a notion of player and their agency within open games, and the lack of choice operators. Using the former we construct the latter, and these choice operators subsume previous proposed operators for open games, thereby making progress towards a core, canonical and ergonomic calculus of game operators. Collectively these innovations increase the level of compositionality of open games, and demonstrate their expressiveness.

In Kohei Kishida: Proceedings of the Fourth International Conference on Applied Category Theory (ACT 2021), Cambridge, United Kingdom, 12-16th July 2021, Electronic Proceedings in Theoretical Computer Science 372, pp. 221–234.
Published: 3rd November 2022.

ArXived at: http://dx.doi.org/10.4204/EPTCS.372.16 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org