Jeux abstraits et composition catégorique

Abstract

Le but de cette thèse est de mettre en évidence une nouvelle notion de jeux qu'on appellera jeux d'équipe, en extrayant l'essence de la notion de jeux conçue par Hyland et Ong. Un jeu d'équipe généralise les notions usuelles de positions, coups, parties et stratégies en leur donnant une interprétation géométrique. Parmi les positions on distinguera les positions perdantes des positions gagnantes alors que parmi les stratégies on distinguera les stratégies gagnantes et les stratégies déterministes. La composition, qui permet à deux joueurs de combiner leurs stratégies respectives pour se partager un but en deux objectifs complémentaires, constitue l'attrait principal d'un jeu d'équipe. Notre composition de stratégies a un élément neutre et vérifie la condition habituelle d'associativité. De plus les propriétés du type gagnant ou déterministe sont préservées à travers cette composition. Pour rendre ce travail cohérent je me devais de donner un jeu d'équipe pour les jeux HO totaux, dans lequel les objets sont les parties dans une arène donnéePARIS7-Bibliothèque centrale (751132105) / SudocSudocFranceF