Geodesic
Fibred pseudo double categories for game semantics
Theory and applications of categories, Tome 34 (2019), pp. 514-572.

Voir la notice de l'article provenant de la source Theory and Applications of Categories website

We unify previous constructions from our work on concurrent game semantics into a single categorical framework. From an operational description of positions and moves in some game, called a \emph{signature}, we produce a pseudo double category, in which objects are positions and vertical morphisms are plays. The considered games are multi-player, so it makes sense to consider embeddings of positions: these are the horizontal morphisms. Finally, cells may be thought of as embeddings of plays preserving initial and final positions. In order to be suitable for game semantics, the obtained pseudo double category should enjoy a certain fibredness property. Under suitable hypotheses, we show that our construction actually produces such a \emph{fibred} pseudo double category, from which we can define relevant categories of plays, and thus of strategies. We give a first necessary and sufficient criterion for this to hold and then a sufficient criterion that can be checked more easily.
Publié le :
Classification : 18C50, 03B70, 68Q55
Keywords: concurrent game semantics, pseudo double categories, factorisation systems 
@article{TAC_2019_34_a18,
     author = {Clovis Eberhart and Tom Hirschowitz},
     title = {Fibred pseudo double categories for game semantics},
     journal = {Theory and applications of categories},
     pages = {514--572},
     publisher = {mathdoc},
     volume = {34},
     year = {2019},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/TAC_2019_34_a18/}
}
TY  - JOUR
AU  - Clovis Eberhart
AU  - Tom Hirschowitz
TI  - Fibred pseudo double categories for game semantics
JO  - Theory and applications of categories
PY  - 2019
SP  - 514
EP  - 572
VL  - 34
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/TAC_2019_34_a18/
LA  - en
ID  - TAC_2019_34_a18
ER  - 
%0 Journal Article
%A Clovis Eberhart
%A Tom Hirschowitz
%T Fibred pseudo double categories for game semantics
%J Theory and applications of categories
%D 2019
%P 514-572
%V 34
%I mathdoc
%U http://geodesic.mathdoc.fr/item/TAC_2019_34_a18/
%G en
%F TAC_2019_34_a18
Clovis Eberhart; Tom Hirschowitz. Fibred pseudo double categories for game semantics. Theory and applications of categories, Tome 34 (2019), pp. 514-572. http://geodesic.mathdoc.fr/item/TAC_2019_34_a18/