Morphisms of open games

11/19/2017
by   Jules Hedges, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
11/21/2017

A Compositional Treatment of Iterated Open Games

Compositional Game Theory is a new, recently introduced model of economi...
research
05/24/2021

A Category for Extensive-Form Games

This paper introduces Gm, which is a category for extensive-form games. ...
research
10/08/2019

Bayesian open games

This paper generalises the treatment of compositional game theory as int...
research
09/15/2020

Compositional Game Theory with Mixed Strategies: Probabilistic Open Games Using a Distributive Law

We extend the open games framework for compositional game theory to enco...
research
01/26/2021

Compositional Game Theory, Compositionally

We present a new compositional approach to compositional game theory (CG...
research
03/27/2018

The algebra of predicting agents

The category of open games, which provides a strongly compositional foun...
research
04/25/2019

The game semantics of game theory

We use a reformulation of compositional game theory to reunite game theo...

Please sign up or login with your details

Forgot password? Click here to reset