Workshop @ RIAT, Hall 2 ~
Monday 14:30 - 16:00
Open Games is a compositional framework for game theory.
It uses the mathematical theory of (monoidal) categories to describe games.
An introduction to category theory can be found in the Statebox Monograph
Elements of these things (called morphism) can be expressed as diagrams:
We can use tools developed at Statebox to build these diagrams and export Haskell Arrow expressions.
There is a backend written in Haskell that can do game theoretic computations based on these diagrams / expressions.
In this workshop we will explain what this does and play around with the backend.
-
Explain general idea,
Compositional game theory using category theory
Applications: protocol verification
-
what is a category (example)
-
what is monoidal category
-
demonstrate editor with simple examples
-
explain open games using Lemon market
-
build lemon market network in editor
-
demonstrate checker code
Source code LemonMarket.hs