adaptive protocols 1algebraic methods 1cohomology 1contextuality 1measurement-based quantum computation 1quantum foundations 1
From the 1 of 6 linked papers with an AI index.
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2025
Existential and positive games: a comonadic and axiomatic view
Samson Abramsky, Thomas Laure, Luca Reggio
A number of model-comparison games central to (finite) model theory, such as pebble and Ehrenfeucht-Fraïssé games, can be captured as comonads on categories of relational structu…
cs.LO2024
An invitation to game comonads
Samson Abramsky, Luca Reggio
Game comonads offer a categorical view of a number of model-comparison games central to model theory, such as pebble and Ehrenfeucht-Fraïssé games. Remarkably, the categories of…