A categorical account of composition methods in logic (extended version) https://arxiv.org/abs/2405.06664 #math.CT #cs.LO
QOTO: Question Others to Teach Ourselves An inclusive, Academic Freedom, instance All cultures welcome. Hate speech and harassment strictly forbidden.