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
∙
05/13/2022
Discrete density comonads and graph parameters
Game comonads have brought forth a new approach to studying finite model...
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
∙
05/07/2021
Lovász-Type Theorems and Game Comonads
Lovász (1967) showed that two finite relational structures A and B are i...
research
∙
12/17/2020
A duality theoretic view on limits of finite structures: Extended version
A systematic theory of structural limits for finite models has been deve...
research
∙
07/30/2020
A Cook's tour of duality in logic: from quantifiers, through Vietoris, to measures
We identify and highlight certain landmark results in Samson Abramsky's ...
research
∙
10/08/2019
Canonical extensions of locally compact frames
Canonical extension of finitary ordered structures such as lattices, pos...
research
∙
07/09/2019