Abstract The Homomorphism Preservation Theorem (HPT) of classical model theory states
that a first-order sentence is preserved under homomorphisms if, and only if, it is equivalent …

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 …

Game comonads provide a categorical syntax-free approach to finite model theory, and their
Eilenberg-Moore coalgebras typically encode important combinatorial parameters of …

Game comonads give a categorical semantics for comparison games in Finite Model
Theory, thus providing an abstract characterisation of logical equivalence for a wide range of …

Game comonads provide categorical semantics for comparison games in Finite Model
Theory, thus providing an abstract characterization of logical equivalence for a wide range of …

In this document, I will survey some of the research in algebra, topology, logic, and the
foundations of computer science that I have contributed to since completing my PhD in 2014 …

Played by Spoiler (S) and Duplicator (D) on two pointed Kripke models (A, a) and (B, b).
Initial position:(a0, b0):=(a, b). At round i, with current position (ai, bi), S picks one of the …

Since the pioneering work of Lawvere in the 1960s, category theory has been used to
provide a syntax-independent view of the fundamental structures of logic, including eg first …