25 citations · 102 across the 22 of their papers we have counts for
22 papers
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 game comonadic account of Courcelle and Feferman-Vaught-Mostowski theorems
Tomáš Jakl, Dan Marsden, Nihil Shah
Game comonads, introduced by Abramsky, Dawar and Wang, and developed by Abramsky and Shah, give a categorical semantics for model comparison games. We present an axiomatic account…
Generalizations of Bilinear Maps -- Technical Report
Tomáš Jakl, Dan Marsden, Nihil Shah
Bilinear maps and their classifying tensor products are well-known in the theory of linear algebra, and their generalization to algebras of commutative monads is a classical result…
Comonadic semantics for hybrid logic and bounded fragments
Samson Abramsky, Dan Marsden
In recent work, comonads and associated structures have been used to analyse a range of important notions in finite model theory, descriptive complexity and combinatorics. We exten…
Comonadic semantics for guarded fragments
Samson Abramsky, Dan Marsden
In previous work, Abramsky, Dawar and Wang (LiCS 2017) and Abramsky and Shah (CSL 2018) have shown how a range of model comparison games which play a central role in finite model t…