Games, traces and distributive laws
Tamara von Glehn ( University of Cambridge )
In a category of two-player games and history-free strategies, composition of strategies is given by iterated feedback, i.e. taking a trace in a traced monoidal category. I will investigate ways of extending this construction to more complex categories based on games. In particular I will look at the interaction of monoidal monads and comonads via distributive laws, and lifting traced monoidal structure to Kleisli categories and categories of (co)algebras. This is partly based on joint work with Martin Hyland.