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…