2 citations · 6 across the 9 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.LO2023
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…
cs.LO2023
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…