Compositional game theory, compositionally

MaRDI QIDQ5019677zbMATH OpenFDO

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

Publication date 10 January 2022

Full work available at URL https://arxiv.org/abs/2101.12045, http://eptcs.web.cse.unsw.edu.au/paper.cgi?ACT2020.14

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)

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.

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

Cites work

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

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

Describes a project that uses

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)