4 papers · 1 filter
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…
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…