Universal property of the monad for infinite trace strategies (work in progress)
We give (conjecture) a universal property of the Elgot monad, i.e. monad supporting iteration, that sends each set X to the set of nondeterministic strategies for a game where play can end by returning an element of X, where the representation of the strategy includes infinite traces.
Sat 6 Apr
|09:00 - 10:00|
Jules HedgesUniversity of Oxford
|10:00 - 10:30|