2015-05-06: Jules Hedges (Queen Mary University of London)

Sat, 21 Oct 2023 21:24:08 +0100

Jules Hedges (Queen Mary University of London)

Game theory in string diagrams

Abstract

We define a category whose morphisms are 'games relative to a continuation', designed to allow games to be built recursively from simple components. The resulting category has interesting structure similar to (but weaker than) compact closed, and comes with an associated string diagram language.

2015-05-06 11:00:00 UTC
LT1310