Joint talk with Bath University: Multicategories as a tool for building categories of games

Nathan Bowler

(Cambridge)

There is a well-established intuitive construction of categories of games. I'll give an example of such a category (based on bicoloured digraphs) which allows the incorporation of some of the structure of the theory of hypergraph games, and I'll explain how this construction points to the language of fc-multicategories as a natural setting for the development of additional structure in categories of games. This language also provides a new setting for the construction of existing categories of games. I'll illustrate how the constructions in this setting have a modular form, cleanly separating different aspects of the underlying combinatorics, and I'll sketch some possible applications to the development of new constructions.


Thursday 11th March 2010, 14:00
Far-134 (Video Conferencing Room)
Department of Computer Science