A categorical account of composition methods in logic
(2023)
Conference Proceeding
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 simpler components. The crucial results required by the composition method... Read More about A categorical account of composition methods in logic.