Model-theoretic imaginaries and coherent sheaves
type: Item
instance of: scholarly article
title: Model-theoretic imaginaries and coherent sheaves
zbMATH Open document ID: 1205.03050
author: Ravi Rajani
author: Mike Prest
published in: Applied Categorical Structures
publication date: 2010-01-15T00:00:00Z
review text: 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.
Mathematics Subject Classification ID: 03C60
Mathematics Subject Classification ID: 18C10
Mathematics Subject Classification ID: 18C35
Mathematics Subject Classification ID: 18F10
zbMATH DE Number: 5659529
zbMATH Keywords: model theory
zbMATH Keywords: imaginary
zbMATH Keywords: functor category
zbMATH Keywords: coherence
zbMATH Keywords: Grothendieck topology
zbMATH Keywords: localization
zbMATH Keywords: definable category
zbMATH Keywords: interpretation
reviewed by: Dimitru Buşneag
MaRDI profile type: Publication
full work available at URL: s10485-008-9151-6
OpenAlex ID: W2125639124
cites work: Q4293501
cites work: Q4314472
cites work: The first order properties of products of algebraic systems
cites work: Elementary Duality of Modules
cites work: Q4003410
cites work: Q3137154
cites work: Q4783274
cites work: Theory of models with generalized atomic formulas
cites work: Model theory.
cites work: Functors on locally finitely presented additive categories
cites work: Q4693151
cites work: Strong conceptual completeness for first-order logic
cites work: A theorem on Barr-exact categories, with an infinitary generalization
cites work: Accessible Categories: The Foundations of Categorical Model Theory
cites work: First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
cites work: Proof of a conjecture of A. Pitts
cites work: Q4039792
cites work: Definable additive categories: purity and model theory
cites work: Q3632824
cites work: More on injectivity in locally presentable categories
cites work: Q4258040
DOI: 10.1007/S10485-008-9151-6
description: scientific article; zbMATH DE number 5659529