Speaker
Martin Hyland, University of Cambridge
Title
Where Do Game Comonads Come From?
Abstract
I shall not answer the question. Instead, I shall illustrate one style of an account which one might consider by giving an abstract account of the unrestricted Ehrenfeucht-Mostowski comonad.