Search

• < Previous
• 1
• Next >

Game Comonads & Generalised Quantifiers

Game comonads, introduced by Abramsky, Dawar and Wang and developed by Abramsky and Shah, give an interesting categorical semantics to some Spoiler-Duplicator games that are common in finite model theory. In particular they expose connections between one-sided and two-sided games, and parameters&nbsp;[&hellip;]