Representation Theory of Logics: A Categorial Approach