2006.410: Model-theoretic imaginaries and coherent sheaves
2006.410: Ravi Rajani and Mike Prest (2008) Model-theoretic imaginaries and coherent sheaves.
This is the latest version of this eprint.
Full text available as:
|PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader|
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
|Deposited By:||Professor Mike Prest|
|Deposited On:||27 September 2008|
Available Versions of this Item
- Model-theoretic imaginaries and coherent sheaves (deposited 27 September 2008) [Currently Displayed]