Reference. Compositional Modelling of Network Games
The analysis of games played on graph-like structures is of increasing importance due to the prevalence of social networks, both virtual and physical, in our daily life. As well as being relevant in computer science, mathematical analysis and computer simulations of such distributed games are vital methodologies in economics, politics and epidemiology, amongst other fields. Our contribution is to give compositional semantics of a family of such games as a well-behaved mapping, a strict monoidal functor, from a category of open graphs (syntax) to a category of open games (semantics). As well as introducing the theoretical framework, we identify some applications of compositionality.
Cite
Cites 22 works (2 here)
With notes (2)
Bayesian open games bolt-2023-bayesian
This paper generalises the treatment of compositional game theory as introduced by Ghani et al. in 2018, where games are modelled as morphisms of a symmetric monoidal category. From an economic modelling perspective, the notion of a game in the work by Ghani et al. is not expressive enough for many applications. This includes stochastic environments, stochastic choices by players, as well as incomplete information regarding the game being played. The current paper addresses these three issues all at once.
Compositional Game Theory ghani-2018-compositional
External (20)
- Targeting interventions in networks (2020)
- A new prediction model of infectious diseases with vaccination strategies based on evolutionary game theory (2017)
- The Calculus of Signal Flow Diagrams I: Linear relations on streams (2017)
- Rewriting modulo symmetric monoidal structure (2016)
- The Oxford Handbook of the Economics of Networks (2016)
- Towards Compositional Graph Theory (2015)
- A compositional framework for passive linear networks (2015)
- Games on networks (2015)
- Interacting Hopf Algebras: the theory of linear systems (PhD thesis) (2015)
- A Connector Algebra for P/T Nets Interactions (2011)
- Talking, Searching, and Pricing (2010)
- Dynamic spread of happiness in a large social network: longitudinal analysis over 20 years in the Framingham Heart Study (2008)
- Social interactions, local spillovers and unemployment (2001)
- Linearly distributive functors (1999)
- The Formal Semantics of Programming Languages: An Introduction (1993)
- A Category-theoretic Approach to the Semantics of Programming Languages (PhD thesis) (1982)
- Categories for the Working Mathematician (1978)
- Categorical algebra (1965)
- Arithmetical extensions of relational systems (1957)
- The concept of truth in the languages of the deductive sciences (1933)