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.

[1]  I. Herzog.  Elementary duality of modules , 1993 .

[2]  S. Lane,et al.  Sheaves In Geometry And Logic , 1992 .

[3]  M. Makkai,et al.  First order categorical logic , 1977 .

[4]  J. Adámek,et al.  Locally Presentable and Accessible Categories: Bibliography , 1994 .

[5]  H. Jerome Keisler,et al.  Model theory, Third Edition , 1992, Studies in logic and the foundations of mathematics.

[6]  Michael Makkai,et al.  Strong conceptual completeness for first-order logic , 1988, Ann. Pure Appl. Log..

[7]  M. Prest.  Purity, Spectra and Localisation , 2009 .

[8]  S. Feferman,et al.  The first order properties of products of algebraic systems , 1959 .

[9]  H. Krause.  Functors on locally finitely presented additive categories , 1998 .

[10]  Sally Popkorn,et al.  A Handbook of Categorical Algebra , 2009 .

[11]  Chen C. Chang,et al.  Model Theory: Third Edition (Dover Books On Mathematics) By C.C. Chang;H. Jerome Keisler;Mathematics , 1966 .

[12]  P. Rothmaler.  Purity in model theory , 2019, Advances in Algebra and Model Theory.

[13]  Jiří Adámek,et al.  More on injectivity in locally presentable categories , 2002 .

[14]  H. Jerome Keisler,et al.  Theory of Models with Generalized Atomic Formulas , 1960, J. Symb. Log..

[15]  Wilfrid Hodges,et al.  Model Theory: The existential case , 1993 .

[16]  I. Moerdijk,et al.  A proof of a conjecture of A. Pitts , 1999 .

[17]  M. Prest.  Definable Additive Categories: Purity and Model Theory , 2011 .

[18]  P. Johnstone,et al.  REVIEWS-Sketches of an elephant: A topos theory compendium , 2003 .

[19]  Michael Makkai,et al.  Accessible categories: The foundations of categorical model theory, , 2007 .

[20]  M. Prest.  Model theory and modules , 1988 .

[21]  Françoise Point,et al.  MODEL THEORY AND MODULES: (London Mathematical Society Lecture Note Series 130) , 1990 .

[22]  Michael Makkai,et al.  A Theorem on Barr-Exact Categories, with an Infinitary Generalization , 1990, Ann. Pure Appl. Log..

[23]  M. Auslander.  Large Modules over Artin Algebras , 1976 .