Morphisms of open games

DOI10.1016/J.ENTCS.2018.11.008MaRDI QIDQ6294146arXivWikidataFDO

Authors Jules Hedges

Publication date 19 November 2017

Published in arXiv

Full work available at URL https://doi.org/10.1016/J.ENTCS.2018.11.008

Mathematics Subject Classification ID

Epimorphisms, monomorphisms, special classes of morphisms, null morphisms (18A20) 2-categories, bicategories, double categories (18N10) Games in extensive form (91A18) Multistage and repeated games (91A20) Other game-theoretic models (91A40)

arXiv classification

cs.GTmath.CT

Abstract: We define a notion of morphisms between open games, exploiting a surprising connection between lenses in computer science and compositional game theory. This extends the more intuitively obvious definition of globular morphisms as mappings between strategy profiles that preserve best responses, and hence in particular preserve Nash equilibria. We construct a symmetric monoidal double category in which the horizontal 1-cells are open games, vertical 1-morphisms are lenses, and 2-cells are morphisms of open games. States (morphisms out of the monoidal unit) in the vertical category give a flexible solution concept that includes both Nash and subgame perfect equilibria. Products in the vertical category give an external choice operator that is reminiscent of products in game semantics, and is useful in practical examples. We illustrate the above two features with a simple worked example from microeconomics, the market entry game.

This page was built for publication: Morphisms of open games

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6294146)