Affiliation:
1. Department of Computer Science, University College London
Abstract
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 coalgebras for these comon-ads capture preservation of several fragments of resource-bounded logics, such as (infinitary) first-order logic with
n
variables or bounded quantifier rank, and corresponding combinatorial parameters such as tree-width and tree-depth. In this way, game comonads provide a new bridge between categorical methods developed for semantics, and the combinatorial and algorithmic methods of resource-sensitive model theory.
Publisher
Association for Computing Machinery (ACM)
Reference84 articles.
1. Whither semantics?
2. S. Abramsky. 2022a. Notes on presheaf representations of strategies and cohomological refinements of k-consistency and k-equivalence. Preprint available at https://arxiv.org/abs/2206.12156. (2022).
3. Structure and Power: an Emerging Landscape
4. The pebbling comonad in Finite Model Theory
5. Discrete Density Comonads and Graph Parameters