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
coherenceinterpretationlocalizationmodel theoryfunctor categoryGrothendieck topologydefinable categoryimaginary
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)
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)