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.
