Model-theoretic imaginaries and coherent sheaves (Q843754)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Model-theoretic imaginaries and coherent sheaves |
scientific article; zbMATH DE number 5659529
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Model-theoretic imaginaries and coherent sheaves |
scientific article; zbMATH DE number 5659529 |
Statements
Model-theoretic imaginaries and coherent sheaves (English)
0 references
15 January 2010
0 references
In this paper the authors show the equivalence of categories of model-theoretic imaginaries with categories of small (finitely generated, finitely presented, coherent) functors. They do this first for certain locally finitely presented categories and then, by localizing, for much more general definable categories. They also investigate the corresponding notion of interpretation.
0 references
model theory
0 references
imaginary
0 references
functor category
0 references
coherence
0 references
Grothendieck topology
0 references
localization
0 references
definable category
0 references
interpretation
0 references
0 references
0.7958506941795349
0 references
0.7483779788017273
0 references
0.7448991537094116
0 references
0.7442086338996887
0 references
0.7428061366081238
0 references
