Showing cs.LOShow all
3 papers · 1 filter
cs.LO2025
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…
cs.LO2024
Linear Arboreal Categories
Samson Abramsky, Yoà v Montacute, Nihil Shah
Arboreal categories, introduced by Abramsky and Reggio, axiomatise categories with tree-shaped objects. These categories provide a categorical language for formalising behavioural…
cs.LO2024
The Pebble-Relation Comonad in Finite Model Theory
Yoà v Montacute, Nihil Shah
The pebbling comonad, introduced by Abramsky, Dawar and Wang, provides a categorical interpretation for the k-pebble games from finite model theory. The coKleisli category of the p…