Model-theoretic Imaginaries and Coherent Sheaves |
| |
Authors: | Ravi Rajani Mike Prest |
| |
Affiliation: | 1. University of Manchester, Manchester, UK
|
| |
Abstract: | 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. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|