Location of Repository

A Convenient Category For Games And Interaction

By Jürgen Koslowski

Abstract

We present a simple construction of an order-enriched category gam that simultaneously dualizes and parallels the familiar construction of the category rel of relations. Objects of gam are sets, and arrows are games, viewed as special kinds of trees. The quest for identities for the composition of trees naturally leads to the consideration of alternating sequences and games of a specific polarity. gam may be viewed as a canonical extension of rel , and just as for rel , the maps in gam admit a nice characterization. Disjoint union of sets induces a special tensor product on gam that allows us to recover the monoidal closed category of games and strategies of interest in game theory. If we allow games with explicit delay moves, the categorical description of the structure that leads to the monoidal closed category is even more satisfying. In particular, we then obtain an explicit involution. 0 Introduction People who study games from a mathematical perspective (e.g., Blass, Abramsky, ..

Year: 1996
OAI identifier: oai:CiteSeerX.psu:10.1.1.36.8916
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://www.iti.cs.tu-bs.de/~ko... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.