Model-theoretic imaginaries and coherent sheaves

摘要

We show the equivalence of categories of model-theoretic imaginaries (of various kinds) with categories of "small" (finitely generated, finitely presented, coherent) functors. We do this first for certain locally finitely presented categories and then, by localising, for much more general "definable categories" (categories of models of coherent theories). We also investigate the corresponding notion of interpretation.