A Category for Extensive-Form Games

05/24/2021
by   Peter A. Streufert, et al.
0

This paper introduces Gm, which is a category for extensive-form games. It also provides some applications. The category's objects are games, which are understood to be sets of nodes which have been endowed with edges, information sets, actions, players, and utility functions. Its arrows are functions from source nodes to target nodes that preserve the additional structure. For instance, a game's information-set collection is newly regarded as a topological basis for the game's decision-node set, and thus a morphism's continuity serves to preserve information sets. Given these definitions, a game monomorphism is characterized by the property of not mapping two source runs (plays) to the same target run. Further, a game isomorphism is characterized as a bijection whose restriction to decision nodes is a homeomorphism, whose induced player transformation is injective, and which strictly preserves the ordinal content of the utility functions. The category is then applied to some game-theoretic concepts beyond the definition of a game. A Selten subgame is characterized as a special kind of categorical subgame, and game isomorphisms are shown to preserve strategy sets, Nash equilibria, Selten subgames, subgame-perfect equilibria, perfect-information, and no-absentmindedness. Further, it is shown that the full subcategory for distinguished-action sequence games is essentially wide in the category of all games, and that the full subcategory of action-set games is essentially wide in the full subcategory for games with no-absentmindedness.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
04/23/2020

The Category of Node-and-Choice Extensive-Form Games

This paper develops the category 𝐍𝐂𝐆. Its objects are node-and-choice ga...
research
07/22/2021

Specifying a Game-Theoretic Extensive Form as an Abstract 5-ary Relation

This paper specifies an extensive form as a 5-ary relation (i.e. set of ...
research
11/19/2017

Morphisms of open games

We define a notion of morphisms between open games, exploiting a surpris...
research
04/27/2019

The Category of Node-and-Choice Forms, with Subcategories for Choice-Sequence Forms and Choice-Set Forms

The literature specifies extensive-form games in many styles, and eventu...
research
02/08/2023

Dynamic Programming for Pure-Strategy Subgame Perfection in an Arbitrary Game

This paper uses value functions to characterize the pure-strategy subgam...
research
07/19/2021

Deposit schemes for incentivizing behavior in finite games of perfect information

We propose a model for finite games with deposit schemes and study how t...
research
05/09/2012

Temporal Action-Graph Games: A New Representation for Dynamic Games

In this paper we introduce temporal action graph games (TAGGs), a novel ...

Please sign up or login with your details

Forgot password? Click here to reset