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

04/23/2020

∙

by   Peter A. Streufert, et al.

∙

0

∙

share

This paper develops the category 𝐍𝐂𝐆. Its objects are node-and-choice games, which include essentially all extensive-form games. Its morphisms allow arbitrary transformations of a game's nodes, choices, and players, as well as monotonic transformations of the utility functions of the game's players. Among the morphisms are subgame inclusions. Several characterizations and numerous properties of the isomorphisms are derived. Also, the game-theoretic concepts of no-absentmindedness, perfect-information, and (pure-strategy) Nash-equilibrium are shown to be isomorphically invariant. Finally, full subcategories are defined for choice-sequence games and choice-set games, and relationships among these two subcategories and 𝐍𝐂𝐆 itself are expressed and derived via isomorphic inclusions and equivalences.