Model-theoretic imaginaries and coherent sheaves

DOI10.1007/S10485-008-9151-6MaRDI QIDQ843754zbMATH OpenOpenAlexFDO

Authors Ravi Rajani, Mike Prest

Publication date 15 January 2010

Published in Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10485-008-9151-6

zbMATH Keywords

coherencedefinable categoryfunctor categoryGrothendieck topologyimaginaryinterpretationlocalizationmodel theory

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Theories (e.g., algebraic theories), structure, and semantics (18C10) Accessible and locally presentable categories (18C35) Grothendieck topologies and Grothendieck topoi (18F10)

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.

Recommendations

• Definable additive categories: purity and model theory
• GENERALISED IMAGINARIES AND GALOIS COHOMOLOGY
• Imaginary modules
• When is Flatness Coherent?
• Structure sheaves of definable additive categories

Cites work

• A theorem on Barr-exact categories, with an infinitary generalization
• Accessible Categories: The Foundations of Categorical Model Theory
• Definable additive categories: purity and model theory
• Elementary Duality of Modules
• First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
• Functors on locally finitely presented additive categories
• scientific article; zbMATH DE number 426306 (Why is no real title available?)
• scientific article; zbMATH DE number 53151 (Why is no real title available?)
• scientific article; zbMATH DE number 192904 (Why is no real title available?)
• scientific article; zbMATH DE number 1329684 (Why is no real title available?)
• scientific article; zbMATH DE number 575948 (Why is no real title available?)
• scientific article; zbMATH DE number 692330 (Why is no real title available?)
• scientific article; zbMATH DE number 195199 (Why is no real title available?)
• scientific article; zbMATH DE number 1840601 (Why is no real title available?)
• Model theory.
• More on injectivity in locally presentable categories
• Proof of a conjecture of A. Pitts
• Purity, spectra and localisation.
• Strong conceptual completeness for first-order logic
• The first order properties of products of algebraic systems
• Theory of models with generalized atomic formulas

Cited in

(7)

• Structure sheaves of definable additive categories
• GENERALISED IMAGINARIES AND GALOIS COHOMOLOGY
• Definable additive categories: purity and model theory
• Pas d'imaginaires dans l'infini!
• Imaginary modules
• Modules as exact functors
• When is Flatness Coherent?

This page was built for publication: Model-theoretic imaginaries and coherent sheaves

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q843754)