research
∙
04/25/2023
Finitely accessible arboreal adjunctions and Hintikka formulae
Arboreal categories provide an axiomatic framework in which abstract not...
share
research
∙
10/21/2021
Polyadic Sets and Homomorphism Counting
A classical result due to Lovasz (1967) shows that the isomorphism type ...
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
∙
02/16/2021
Arboreal Categories: An Axiomatic Theory of Resources
We introduce arboreal categories, which have an intrinsic process struct...
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
∙
07/09/2019