Compositionality and String Diagrams for Game Theory
Computer Science and Game Theory
2016-04-21 v1 Logic in Computer Science
Abstract
We introduce string diagrams as a formal mathematical, graphical language to represent, compose, program and reason about games. The language is well established in quantum physics, quantum computing and quantum linguistic with the semantics given by category theory. We apply this language to the game theoretical setting and show examples how to use it for some economic games where we highlight the compositional nature of our higher-order game theory.
Keywords
Cite
@article{arxiv.1604.06061,
title = {Compositionality and String Diagrams for Game Theory},
author = {Jules Hedges and Evguenia Shprits and Viktor Winschel and Philipp Zahn},
journal= {arXiv preprint arXiv:1604.06061},
year = {2016}
}