Tags:Category theory, Concurrent strategies, Game semantics and Sheaves
Abstract:
While most game models feature a rather intuitive setup, they also come with surprisingly difficult proofs of such basic results as associativity of composition of strategies. We propose a basic abstract framework for game semantics, (innocent) game settings, which enables the generic construction of a category of games and (innocent) strategies, thus unifying a number of concrete cases.