Prolegomena to The Categorical Study of Interpretations by A. Visser