1 paper
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…