Compositional game theory, compositionally

zbMATH Open1480.91052arXiv2101.12045MaRDI QIDQ5019677FDOQ5019677

Authors: Robert Atkey, Bruno Gavranović, Neil Ghani, Clemens Kupke, Jérémy Ledent, Fredrik Nordvall Forsberg 

Publication date: 10 January 2022

Abstract: We present a new compositional approach to compositional game theory (CGT) based upon Arrows, a concept originally from functional programming, closely related to Tambara modules, and operators to build new Arrows from old. We model equilibria as a bimodule over an Arrow and define an operator to build a new Arrow from such a bimodule over an existing Arrow. We also model strategies as graded Arrows and define an operator which builds a new Arrow by taking the colimit of a graded Arrow. A final operator builds a graded Arrow from a graded bimodule. We use this compositional approach to CGT to show how known and previously unknown variants of open games can be proven to form symmetric monoidal categories.

Full work available at URL: https://arxiv.org/abs/2101.12045

Recommendations

• Compositional game theory
• A compositional treatment of iterated open games
• Compositional game theory with mixed strategies: probabilistic open games using a distributive law
• Bayesian open games
• A convenient category for games and interaction

zbMATH Keywords

monoidal categoriesbimoduleprofunctorArrowcompositional game theoryopen games

Mathematics Subject Classification ID

Other game-theoretic models (91A40) Monoidal categories, symmetric monoidal categories (18M05) Profunctors (= correspondences, distributors, modules) (18D60)

Cites Work

• Categorical logic and type theory
• What is a categorical model of arrows?
• Generalising monads to arrows
• Title not available (Why is that?)
• Framed bicategories and monoidal fibrations
• Compositional game theory
• Arrows, like monads, are monoids
• A generalised quantifier theory of natural language in categorical compositional distributional semantics with bialgebras
• A compositional treatment of iterated open games
• Doubles for monoidal categories
• A linear category of polynomial diagrams
• Parametric effect monads and semantics of effect systems
• (Co)end Calculus
• Morphisms of open games
• Notions of computation as monoids
• Dialectica categories and games with bidding

Cited In (6)

• A compositional treatment of iterated open games
• Compositional game theory
• Towards foundations of categorical cybernetics
• Compositional game theory with mixed strategies: probabilistic open games using a distributive law
• Bayesian open games
• A note about games-composition dimension

Uses Software

• GitHub

This page was built for publication: Compositional game theory, compositionally

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