research
∙
04/20/2023
A categorical account of composition methods in logic
We present a categorical theory of the composition methods in finite mod...
share
research
∙
01/24/2023
Linear Arboreal Categories
Arboreal categories, introduced by Abramsky and Reggio, axiomatise categ...
research
∙
05/11/2022
A game comonadic account of Courcelle and Feferman-Vaught-Mostowski theorems
Game comonads, introduced by Abramsky, Dawar and Wang, and developed by ...
research
∙
10/15/2021
The Pebble-Relation Comonad in Finite Model Theory
The pebbling comonad, introduced by Abramsky, Dawar and Wang, provides a...
research
∙
10/13/2020
Relating Structure and Power: Extended Version
Combinatorial games are widely used in finite model theory, constraint s...
research
∙
06/23/2018