Model-theoretic imaginaries and coherent sheaves

DOI10.1007/S10485-008-9151-6zbMATH Open1205.03050OpenAlexW2125639124MaRDI QIDQ843754FDOQ843754

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

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

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)

Cites Work

• Title not available (Why is that?)
• Accessible Categories: The Foundations of Categorical Model Theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Definable additive categories: purity and model theory
• Purity, spectra and localisation.
• Functors on locally finitely presented additive categories
• Model theory.
• First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
• Strong conceptual completeness for first-order logic
• Elementary Duality of Modules
• The first order properties of products of algebraic systems
• A theorem on Barr-exact categories, with an infinitary generalization
• Theory of models with generalized atomic formulas
• Title not available (Why is that?)
• Proof of a conjecture of A. Pitts
• More on injectivity in locally presentable categories
• Title not available (Why is that?)

Cited In (7)

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

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)