---
title: Categories of Games in Category Theory
url: https://www.emergentmind.com/topics/category-of-games
type: topic
---

# Categories of Games in Category Theory

A category of games formalizes combinatorial, economic, logical, or computational games within the framework of category theory, making explicit the objects (games or game-like structures) and the morphisms (maps that preserve the essential features of games, such as moves, strategies, player roles, or structural invariants). The concept plays a central role in connecting game theory, logic, semantics, and algebraic methods, offering a common language to study composition, equivalence, and transformation of games across diverse research paradigms.

## 1. Structural Paradigms for Categories of Games

A wide range of categorical frameworks for games exist, reflecting differences in the underlying mathematical model (sequential or concurrent play, combinatorial versus economic focus), the formalization of strategies and morphisms, and the foundational role played by resources and logics.

- **Arenas and Event Structures:** In classical and concurrency-aware game semantics, games are modeled as arenas (or event structures), encoding possible moves (as events), their polarity (Player/Opponent), causality relations, and sometimes symmetry (to express uniformity in replicated resources). Categories such as Tcg (thin concurrent games) or Cho (concurrent Hyland-Ong games) are constructed by taking objects as these structured arenas and morphisms as strategies respecting the event, causality, and symmetry structures [1409.7542].
- **Graph-based Models:** In the modeling of network games or impartial combinatorial games, games may be represented as graphs, rulegraphs, or gamegraphs, with morphisms as (option, strategy, or payoff) preserving maps, generalizing notions found in universal algebra [2312.00650, 2006.03493].
- **Coalgebras and Recursive Structure:** Categories of games can also be defined via coalgebraic structures, e.g., identifying games with recursive coalgebras of a finitary powerset functor, yielding a locally finitely presentable, symmetric monoidal closed category equipped with internal homs, sum, and product operations [2510.22886].
- **Signature Games and Comonads:** For games over relational structures (e.g., Spoiler-Duplicator games in finite model theory), the category is built from comonads in a bicategory of signature games (event structures with logical winning conditions), and morphisms are formulated as concurrent strategies or spans, depending on game polarity [2405.11267].
- **Interaction Systems:** Some frameworks dispense with strategies, instead taking as morphisms simulation relations between systems, leading to a strongly synchronous symmetric monoidal closed category with models of linear logic [0905.4062].

## 2. Morphisms: Strategies, Simulations, and Structure-Preserving Maps

The notion of morphism depends crucially on the category’s focus.

- **Strategies:** In classical game semantics, morphisms are commonly (winning, possibly innocent, possibly history-free) strategies, seen as sets or presheaves of plays or interaction sequences, with composition defined via pullbacks, Kan extensions, or interaction/hiding constructions [1711.10860, 1409.7542].
- **Option-Preserving Maps:** For digraph-based models (rulegraphs/gamegraphs), morphisms are functions that respect the option structure: $\alpha : \mathsf{G} \to \mathsf{H}$ satisfies $\Opt(\alpha(p)) = \alpha(\Opt(p))$ [2312.00650].
- **Simulations:** In simulation-based frameworks, morphisms are relations $r \subseteq S_1 \times S_2$ satisfying path-lifting/simulation conditions rather than specific win criteria or chronological play [0905.4062].
- **Coalgebra Homomorphisms:** In coalgebraic categories, morphisms are coalgebra homomorphisms preserving allowed transitions, often with additional properties such as path-lifting or recursive solution preservation [2510.22886].
- **Synchronous Correlations:** In categories modeling nonlocal games, morphisms are synchronous correlations between input and output sets (e.g., stochastic matrices), with categorical properties (monomorphism/epimorphism) characterized in terms of matrix singularity [1810.10074].

## 3. Algebraic and Categorical Features

Categories of games typically exhibit rich algebraic structure, with features dependent on their foundational definitions:

| Property                         | Manifestation in Categorical Game Models                                     | Reference Examples         |
|-----------------------------------|-------------------------------------------------------------------------------|---------------------------|
| Symmetric monoidal closed         | Tensor product (sum, parallel play); internal homs (function/strategy space) | [2510.22886, 1409.7542]   |
| Compact closed structure          | Important for diagrammatic representation and feedback/tracing discipline     | [2112.14058, 1409.7542]   |
| Locally finitely presentable      | All small (co)limits exist; filtered colimits; finite games finitely presentable | [2510.22886, 2312.00650] |
| Subobject classifier/Epi-mono fact.| Enables internal logic, inclusion of subgames, and logical analysis            | [2510.22886]              |
| Cartesian closed/Extensive        | Internal exponentials; well-behaved coproducts; crucial for modeling higher types and infinite games | [2401.03484] |

Monoidal and closed structure is realized via sums/products of games (disjoint union, synchronous play), internal homs as game spaces (function types), and categorical distributivity and composition reflect the operational semantics of sequential and parallel play.

## 4. Functoriality, Compositionality, and Equivalence

A central feature is the study of functoriality and compositional semantics:

- **Compositionality:** Functors from syntactic categories (e.g., pregroup grammars, open graph categories) to semantic categories of games support modular construction and analysis of complex games by composition of game fragments [2006.03493, 1807.07828].
- **Adjunctions and Comonads:** The systematic construction of game comonads via adjunctions canonically lifts structures from relational or algebraic settings to game-theoretic contexts [2405.11267].
- **Equivalences:** Categories such as impartial rulegraphs, gamegraphs, and recursive coalgebras are shown to admit equivalence up to maximal congruence or minimal quotient, justifying the traditional recursive set-of-options model [2312.00650]. Categories of infinite games admit arboreal, functorial, and metric equivalences, e.g., to pruned trees, presheaves, or ultrametric spaces [2401.03484].

## 5. Categorical Analysis of Equilibria and Logical Invariants

The categorical viewpoint enables generalizations and systematic treatment of equilibrium and property preservation:

- **Game-Theoretic Invariants:** Isomorphisms in categories of extensive-form games are characterized as bijections/homeomorphisms preserving nodes, information, players, and ordinal utility. Nash and subgame-perfect equilibria, strategy sets, perfect-information, and no-absentmindedness are all invariant under categorical isomorphism [2105.11398].
- **Congruence and Quotients:** Categorical analogues of universal algebra support manipulations of games by congruence relations, quotients, and isomorphism theorems [2312.00650].
- **Logical Equivalences:** Comonadic categories systematize classical Spoiler-Duplicator games, generalizing logical equivalence, bisimulation, and combinatorial invariants such as treewidth and chromatic number [2405.11267].
- **Equilibria-Preserving Morphisms:** Specialized subcategories (e.g., games/morphisms preserving Nash equilibria) capture strategic invariance under transformation, supporting the modular study of game-theoretic phenomena [2309.15981].

## 6. Applications and Theoretical Impact

The categorical analysis of games has broad impact, encompassing:

- **Finite Model Theory and Logic:** Categorical frameworks unify and generalize sophisticated equivalences and combinatorial invariants arising from Spoiler-Duplicator and Ehrenfeucht-Fraïssé games, introducing new tools for finite model theory [2405.11267].
- **Semantics of Programming Languages:** Categories of games provide denotational models for linear logic, simply-typed and untyped lambda calculi, and dependent type theory, modeling complex computational phenomena including concurrency, state, and quantum computation [1409.7542, 2510.22886, 1508.05023, 2404.06646].
- **Network Game Theory:** Functorial and compositional approaches support scalable, modular construction and analysis of games played on distributed structures, including computation of equilibria via network decomposition [2006.03493].
- **Topological and Infinite Games:** Categories of infinite games (as trees/presheaves/metric spaces) generalize Banach-Mazur games and provide new perspectives on classic covering/convergence dualities in topology [2401.03484].
- **Nonlocal and Quantum Games:** Categories of nonlocal games with morphisms as quantum/correlated strategies allow for resource-theoretic reasoning and precise mathematical control over transformation, equivalence, and decomposition [1810.10074].

## 7. Summary Table: Key Categorical Categories of Games

| Reference         | Category Type/Name                   | Objects                              | Morphisms/Maps                                 | Structural Highlights                       |
|-------------------|--------------------------------------|--------------------------------------|------------------------------------------------|---------------------------------------------|
| [2510.22886]      | $\mathbf{Games}$ (recursive coalgebras) | Games as finite digraphs             | Coalgebra homomorphisms                        | Locally finitely presentable, monoidal closed, subobject classifier |
| [1409.7542]       | Tcg/Cho (event-structural)           | (Thin) event structures, HO arenas   | Symmetry-respecting, thin, single-threaded strategies | Compact/cartesian closed, concurrency, symmetry |
| [2312.00650]      | $\mathbf{GGph}$, $\mathbf{RGph}$     | Digraphs (gamegraphs/rulegraphs)     | Option-preserving maps, congruence quotients    | Universal algebra analogies, enumeration    |
| [2405.11267]      | $_\delta$, bicat. of sig. games      | Relational structures/signature games | Comonad-based strategies, coKleisli maps, spans | Systematic comonadic construction           |
| [2105.11398]      | $\mathbf{Gm}$                        | Extensive-form games (trees + info)  | Node-preserving, continuous, utility-order preserving maps | Invariants: isomorphism, Nash/subgame equilibrium   |
| [2401.03484]      | $\mathbf{Game}_{A}$, $\mathbf{Game}_{B}$ | Pruned trees + winning sets          | Chronological, outcome-preserving maps          | Complete, cartesian closed, Banach-Mazur universality     |
| [1711.10860]      | Game settings                        | Arenas/play categories               | (Presheaves of) plays/interactions             | Abstract categorical framework, innocence   |
| [1810.10074]      | FinSet$^S$ categories                | Finite sets                          | Synchronous correlations (quantum/etc)         | Matrix algebra, detailed factorization      |

This structural diversity reflects the category of games' central position in contemporary logic, computer science, and game theory, as a tool for unification, abstraction, and modular analysis.

Source: https://www.emergentmind.com/topics/category-of-games