Marsden, Dan, Shah, Nihil, Jakl, Tomáš, "A categorical account of composition methods in logic", , 2023