• Publications
  • Influence
Lovász-Type Theorems and Game Comonads
This work proposes a new categorical formulation, which applies to any locally finite category with pushouts and a proper factorisation system, and presents a novel application to homomorphism counts in modal logic. Expand
A Duality Theoretic View on Limits of Finite Structures
It is shown that a closely related but finer grained space of measures arises — via Stone-Priestley duality and the notion of types from model theory — by enriching the expressive power of first-order logic with certain “probabilistic operators”. Expand
Canonical extensions of locally compact frames
  • Tom'avs Jakl
  • Mathematics, Computer Science
  • Topology and its Applications
  • 8 October 2019
It is shown that every locally compact frame embeds into a completely distributive lattice by a construction which generalises, among others, the canonical extensions for distributive clustering lattices and proximity lattices. Expand