Game comonads and beyond: compositional constructions for logic and algorithms
Repository URI
Repository DOI
Change log
Authors
Abstract
Game comonads represent a rare application of category theoretic methods to the fields of finite model theory and descriptive complexity. First introduced by Abramsky, Dawar and Wang in 2017, these new constructions exposed connections between Spoiler-Duplicator games used in logic, related algorithms for constraint satisfaction and structure isomorphism, and well-known parameters such as treewidth and treedepth. The compositional framework for logical resources emerging from these comonads has proved an important tool in generalising results from finite model theory and new game comonads have been invented for a range of different logics and algorithms. However, this framework has previously been limited by its inability to express logics which are strictly stronger than those captured by Abramsky, Dawar and Wang's pebbling comonad,
In this thesis, we show for the first time how to overcome these limitations by extending the
reach of compositional techniques for logic and algorithms in a number of directions. Firstly, we deepen our understanding of the comonad
Secondly, we show how to construct a new family of game comonads
Finally, we expand the realm of compositional methods in finite model theory beyond comonads, introducing new constructions on relational structures based on other aspects of category theory. In the first instance, we show that lifting well-known linear-algebraic monads on Set to the category of relational structures gives a compositional semantics to linear programming approximations of homomorphism and an elegant framework for studying these techniques. Furthermore, we use presheaves to give a new semantics for pebble games and algorithms for constraint satisfaction and structure isomorphism. Building on analogous work in quantum contextuality, we use a common invariant based on cohomology to invent efficient algorithms for approximating homomorphism and isomorphism and prove that these are far more powerful than those currently captured by game comonads.