Model-theoretic imaginaries and coherent sheaves (Q843754): Difference between revisions

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.