You are here: MIMS > EPrints
MIMS EPrints

2006.410: Model-theoretic imaginaries and coherent sheaves

2006.410: Ravi Rajani and Mike Prest (2008) Model-theoretic imaginaries and coherent sheaves.

There is a more recent version of this eprint available. Click here to view it.

Full text available as:

PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
326 Kb


Categories of imaginaries (imaginary sorts are the objects and definable functions are the maps) defined using positive existential formulas are shown to be equivalent to categories of finitely presented / coherent functors on the category of models. Localised/relativised versions are also proved. This is linked with interpretation functors between categories of structures. These results generalise what is already known in the additive case and include an alternative approach to an old result of Makkai and Reyes.

Item Type:MIMS Preprint
Uncontrolled Keywords:L-structure, positive existential formula, positive primitive formula, finitely presented functor, coherent functor, category, Grothendieck topology, interpretation
Subjects:MSC 2000 > 03 Mathematical logic and foundations
MSC 2000 > 18 Category theory; homological algebra
MIMS number:2006.410
Deposited By:Professor Mike Prest
Deposited On:17 May 2008

Available Versions of this Item

Download Statistics: last 4 weeks
Repository Staff Only: edit this item