3 citations · 8 across the 7 of their papers we have counts for
9 papers
A categorical perspective on constraint satisfaction: The wonderland of adjunctions
Maximilian Hadek, Tomáš Jakl, Jakub Opršal
The so-called algebraic approach to the constraint satisfaction problem (CSP) has been a prevalent method of the study of complexity of these problems since early 2000's. The core…
A categorical account of composition methods in logic (extended version)
Tomáš Jakl, Dan Marsden, Nihil Shah
We present a categorical theory of the composition methods in finite model theory -- a key technique enabling modular reasoning about complex structures by building them out of sim…
A categorical account of composition methods in logic
Tomáš Jakl, Dan Marsden, Nihil Shah
We present a categorical theory of the composition methods in finite model theory -- a key technique enabling modular reasoning about complex structures by building them out of sim…
Lovász-Type Theorems and Game Comonads
Anuj Dawar, Tomáš Jakl, Luca Reggio
Lovász (1967) showed that two finite relational structures A and B are isomorphic if, and only if, the number of homomorphisms from C to A is the same as the number of homomorphism…
A duality theoretic view on limits of finite structures: Extended version
Mai Gehrke, Tomáš Jakl, Luca Reggio
A systematic theory of structural limits for finite models has been developed by Nesetril and Ossona de Mendez. It is based on the insight that the collection of finite structures…
A Cook's tour of duality in logic: from quantifiers, through Vietoris, to measures
Mai Gehrke, Tomas Jakl, Luca Reggio
We identify and highlight certain landmark results in Samson Abramsky's work which we believe are fundamental to current developments and future trends. In particular, we focus on…
Canonical extensions of locally compact frames
Tomáš Jakl
Canonical extension of finitary ordered structures such as lattices, posets, proximity lattices, etc., is a certain completion which entirely describes the topological dual of the…
A duality theoretic view on limits of finite structures
Mai Gehrke, Tomáš Jakl, Luca Reggio
A systematic theory of structural limits for finite models has been developed by Nesetril and Ossona de Mendez. It is based on the insight that the collection of finite structures…
Free constructions and coproducts of d-frames
Tomáš Jakl, Achim Jung
A general theory of presentations for d-frames does not yet exist. We review the difficulties and give sufficient conditions for when they can be overcome. As an application we pro…