Model-theoretic imaginaries and coherent sheaves
In this paper the authors show the equivalence of categories of model-theoretic imaginaries with categories of small (finitely generated, finitely presented, coherent) functors. They do this first for certain locally finitely presented categories and then, by localizing, for much more general definable categories. They also investigate the corresponding notion of interpretation.
scientific article; zbMATH DE number 5659529
scientific article