421 citations · 1.5k across the 77 of their papers we have counts for
1 paper · 2 filters
Samson Abramsky, Tomáš Jakl, Thomas Paine
Game comonads have brought forth a new approach to studying finite model theory categorically. By representing model comparison games semantically as comonads, they allow important…