Simple game semantics and Day convolution

10/16/2018
by   Clovis Eberhart, et al.
0

Game semantics has provided adequate models for a variety of programming languages, in which types are interpreted as two-player games and programs as strategies. Melliès (2018) suggested that such categories of games and strategies may be obtained as instances of a simple abstract construction on weak double categories. However, in the particular case of simple games, his construction slightly differs from the standard category. We refine the abstract construction using factorisation systems, and show that the new construction yields the standard category of simple games and strategies. Another perhaps surprising instance is Day's convolution monoidal structure on the category of presheaves over a strict monoidal category.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

11/29/2017

What's in a game? A theory of game models

Game semantics is a rich and successful class of denotational models for...
01/31/2021

Commutative Monads for Probabilistic Programming Languages

A long-standing open problem in the semantics of programming languages s...
06/29/2020

Game Comonads Generalised Quantifiers

Game comonads, introduced by Abramsky, Dawar and Wang and developed by A...
05/11/2021

Asynchronous Template Games and the Gray Tensor Product of 2-Categories

In his recent and exploratory work on template games and linear logic, M...
04/25/2019

The game semantics of game theory

We use a reformulation of compositional game theory to reunite game theo...
10/27/2019

Computer-supported Exploration of a Categorical Axiomatization of Modeloids

A modeloid, a certain set of partial bijections, emerges from the idea t...
04/17/2020

*-autonomous envelopes and 2-conservativity of duals

We show the doctrine of ∗-autonomous categories is "2-conservative" over...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.