Virtual double categories as a context for cooking categories of games
Dr Nathan Bowler ( University of Cambridge, DPMMS )
- 14:00 20th May 2011 ( week 3, Trinity Term 2011 )Lecture Theatre B, Computing Laboratory
The constructions of categories of games tend to be combinatorially fiddly, but there is an abstract setting which allows a clean, unified approach. I'll explain the key kinds of abstract objects (virtual double categories and playpens) which are needed for this construction, and how the usual combinatorics of games emerges in a simple case.
|