IOS Press Categories of Coalgebraic Games with Selective Sum

Abstract. Joyal’s categorical construction on (well-founded) Conway games and winning strate-gies provides a compact closed category, where tensor and linear implication are defined via Con-way disjunctive sum (in combination with negation for linear implication). The equivalence induced on games by the morphisms coincides with the contextual closure of the equideterminacy relation w.r.t. the disjunctive sum. Recently, the above categorical construction has been generalized to non-wellfounded games. Here we investigate Joyal’s construction for a different notion of sum, i.e. selective sum. While disjunctive sum reflects the interleaving semantics, selective sum accommo-dates a form of parallelism, by allowing the current player to move in different parts of the board simultaneously. We show that Joyal’s categorical construction can be successfully extended to se-lective sum, when we consider alternating games, i.e. games where each position is marked as Left player (L) or Right player (R), that is only L or R can move from that position, R starts, and L/R po-sitions strictly alternate. Alternating games typically arise in the context of Game Semantics. This category of well-founded games with selective sum is symmetric monoidal closed, and it induces exactly the equideterminacy relation. Generalizations to non-wellfounded games give linear cate-gories, i.e. models of Linear Logic. Our game models, providing a certain level of parallelism, ma