Games on graphs: a compositional approach

06/05/2020
by   Elena Di Lavore, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
07/20/2018

Towards functorial language-games

In categorical compositional semantics of natural language one studies f...
research
12/22/2017

A Compositional Coalgebraic Semantics of Strategic Games

We provide a compositional coalgebraic semantics for strategic games. In...
research
12/28/2021

A Compositional Approach to Parity Games

In this paper, we introduce open parity games, which is a compositional ...
research
05/07/2021

Lambek pregroups are Frobenius spiders in preorders

"Spider" is a nickname of *special Frobenius algebras*, a fundamental st...
research
11/21/2017

A Compositional Treatment of Iterated Open Games

Compositional Game Theory is a new, recently introduced model of economi...
research
06/23/2018

Relating Structure and Power: Comonadic Semantics for Computational Resources

Combinatorial games are widely used in finite model theory, constraint s...
research
07/16/2023

Compositional Solution of Mean Payoff Games by String Diagrams

Following our recent development of a compositional model checking algor...

Please sign up or login with your details

Forgot password? Click here to reset