Prolegomena to the categorical study of interpretations

Abstract

In this paper, we provide basic facts about the category INT of interpretations. E.g., we give a characterization of its epimorphisms and we show that, modulo a small detail, its opposite category is regular and even coherent. We also study a salient subcategory, the category of direct interpretations.