On the Category of Algebraizable Logics

Abstract

We explore the possibility and some potential payoffs of using the theory of accessible categories in the study of categories of logics: the category of finitary structural logics and its subcategory of algebraizable logics.