Towards a good notion of categories of logics

Caio de Andrade Mendes, Hugo Luiz Mariano

We consider (finitary, propositional) logics through the original use of Category Theory: the study of the "sociology of mathematical objects", aligning us with a recent, and growi…