421 citations · 1.5k across the 77 of their papers we have counts for
1 paper · 2 filters
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 co…