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

coherenceinterpretationlocalizationmodel theoryfunctor categoryGrothendieck topologydefinable categoryimaginary

Mathematics Subject Classification ID

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

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

• 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?)
• 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
• 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)

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

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)