HAL : hal-00150373, version 1

Fiche détaillée

Récupérer au format BibTeX - EndNote - TEI - RefWorks -

Logic in Computer Science, France (2007)

Categorical Combinatorics for Innocent Strategies

Russ Harmer 1, Martin Hyland 2, paul-andré melliès 1

(23/07/2007)

We show how to construct the category of games and innocent strategies from a more primitive category of games. On that category we define a comonad and monad with the former distributing over the latter. Innocent strategies are the maps in the induced two-sided Kleisli category. Thus the problematic composition of innocent strategies reflects the use of the distributive law. The composition of simple strategies, and the combinatorics of pointers used to give the comonad and monad are themselves described in categorical terms. The notions of view and of legal play arise naturally in the explanation of the distributivity. The category-theoretic perspective provides a clear discipline for the necessary combinatorics.

1 :	Preuves, Programmes et Systèmes (PPS)
	CNRS : UMR7126 – Université Paris VII - Paris Diderot
2 :	Department of Pure Mathematics and Mathematical Statistics (DPMMS)
	University of Cambridge

Domaine

:

Informatique/Informatique et théorie des jeux Mathématiques/Catégories et ensembles Mathématiques/Combinatoire

hal-00150373, version 1

http://hal.archives-ouvertes.fr/hal-00150373

oai:hal.archives-ouvertes.fr:hal-00150373

Contributeur : Russ Harmer <>

Soumis le : Mercredi 30 Mai 2007, 11:26:30

Dernière modification le : Lundi 7 Mai 2012, 16:06:10