Rajani, Ravi and Prest, Mike (2006) Model-theoretic imaginaries and coherent sheaves. [MIMS Preprint]
There is a more recent version of this item available.
![[thumbnail of ravii.pdf]](https://eprints.maths.manchester.ac.uk/style/images/fileicons/application_pdf.png) |
PDF
ravii.pdf Download (292kB) |
Abstract
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 2010, the AMS's Mathematics Subject Classification > 03 Mathematical logic and foundations MSC 2010, the AMS's Mathematics Subject Classification > 18 Category theory; homological algebra |
| Depositing User: | Professor Mike Prest |
| Date Deposited: | 28 Nov 2006 |
| Last Modified: | 08 Nov 2017 18:18 |
| URI: | https://eprints.maths.manchester.ac.uk/id/eprint/658 |
Available Versions of this Item
- Model-theoretic imaginaries and coherent sheaves. (deposited 28 Nov 2006) [Currently Displayed]
Actions (login required)
 |
View Item |