Model-theoretic imaginaries and coherent sheaves

DOI10.1007/s10485-008-9151-6zbMath1205.03050OpenAlexW2125639124MaRDI QIDQ843754

Ravi Rajani, M. Y. 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

coherencemodel theorylocalizationinterpretationfunctor categoryGrothendieck topologydefinable categoryimaginary

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)

Related Items

Structure sheaves of definable additive categories, Definable additive categories: purity and model theory, Modules as exact functors

Cites Work

• A theorem on Barr-exact categories, with an infinitary generalization
• Strong conceptual completeness for first-order logic
• Model theory.
• First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
• Proof of a conjecture of A. Pitts
• Definable additive categories: purity and model theory
• The first order properties of products of algebraic systems
• Theory of models with generalized atomic formulas
• Accessible Categories: The Foundations of Categorical Model Theory
• Elementary Duality of Modules
• Functors on locally finitely presented additive categories
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item