Definable additive categories: purity and model theory

DOI10.1090/S0065-9266-2010-00593-3zbMath1229.03034OpenAlexW4205814832MaRDI QIDQ3082826

M. Y. Prest

Publication date: 17 March 2011

Published in: Memoirs of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1090/s0065-9266-2010-00593-3

zbMATH Keywords

ultraproductmoduleabelian categoryadditive categoryfunctor categorySerre subcategoryelementary dualitydefinable categoryimaginarypure-injectivelocally coherentfinitely accessiblepp-formulapp-type

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Module categories in associative algebras (16D90) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Abelian categories, Grothendieck categories (18E10) Accessible and locally presentable categories (18C35) Properties of classes of models (03C52) Preadditive, additive categories (18E05) Localization of categories, calculus of fractions (18E35) Research exposition (monographs, survey articles) pertaining to category theory (18-02)

Related Items

Pure Goldie dimensions for exactly definable categories, Maranda’s theorem for pure-injective modules and duality, Schemes over symmetric monoidal categories and torsion theories, A universal rigid abelian tensor category, Model-theoretic imaginaries and coherent sheaves, Flat weakly \(FP\)-injective and \(FP\)-injective weakly flat functors, Flat vs. filtered colimits in the enriched context, Virtual concepts in the theory of accessible categories, Maximal exact structures on additive categories revisited, Tensor structure for Nori motives, Definable categories, Purity in compactly generated derivators and t-structures with Grothendieck hearts, Baer-Kaplansky classes in Grothendieck categories and applications, Representation embeddings, interpretation functors and controlled wild algebras, Reflective and coreflective subcategories, Universal cohomology theories, Pure-direct-objects in categories: transfer via functors, Flatness, weakly lex colimits, and free exact completions, Cotilting sheaves over weighted noncommutative regular projective curves, One-sided exact categories, Baer-Kaplansky classes in categories: transfer via functors, Purity in categories of sheaves, Model structures and relative Gorenstein flat modules and chain complexes, Covers in finitely accessible categories, Large tilting sheaves over weighted noncommutative regular projective curves, Tilting and cotilting modules over concealed canonical algebras, Uniqueness of uniform decompositions in exact categories, Structure sheaves of definable additive categories, Relatively divisible and relatively flat objects in exact categories: applications, Enriched regular theories, Noetherian schemes over abelian symmetric monoidal categories, Embeddings of Exactly Definable and Finitely Accessible Additive Categories into Freyd Categories, Modules as exact functors, Multisorted modules and their model theory, On Noetherian schemes over (\mathcal{C},\otimes,1)$ and the category of quasi-coherent sheaves, A monoidal analogue of the 2-category anti-equivalence between \(\mathbb{ABEX}\) and \(\mathbb{DEF} \), Modules with irrational slope over tubular algebras, Direct limits in the heart of a t-structure: the case of a torsion pair

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The spectrum of a locally coherent category
• Remarks on elementary duality
• On the free product of associative rings
• Model-theoretic imaginaries and coherent sheaves
• Purity in algebra
• A theorem on Barr-exact categories, with an infinitary generalization
• Contravariant functors on the category of finitely presented modules.
• Model theory of modules
• The Krull-Gabriel dimension of the representation theory of a tame hereditary Artin algebra and applications to the structure of exact sequences
• Representation embeddings and the Ziegler spectrum
• Elementary torsion theories and locally finitely presented categories
• Sheaves in geometry and logic: a first introduction to topos theory
• First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
• Some model-theoretic aspects of torsion theories
• Exactly definable categories
• Model theory of functors: Axiomatizability problems
• Interpreting modules in modules
• Phantom maps and homology theories
• Model theory
• Co-existence of Krull filtrations
• Abelian categories over additive ones
• Smashing subcategories and the telescope conjecture -- an algebraic approach
• Structure sheaves of definable additive categories
• Purity in functor categories
• The tensor product of functors; satellites; and derived functors
• Flat and coherent functors
• Seminar of algebraic geometry du Bois-Marie 1963--1964. Topos theory and étale cohomology of schemes (SGA 4). Vol. 1: Topos theory. Exp. I--IV
• Triangulated categories and the Ziegler spectrum
• The spectrum of a module category
• Triangulated Categories
• Kaplansky's Problem on Valuation Rings
• Abelian groups that are direct summands of every abelian group which contains them as pure subgroups
• Direct Products of Modules
• On Pure Quotients and Pure Subobjects
• Deformation theory of abelian categories
• Duality and Pure-Semisimple Rings
• Direct product decomposition of theories of modules
• Decomposition of totally transcendental modules
• Accessible Categories: The Foundations of Categorical Model Theory
• Imaginary modules
• Four concepts from “geometrical” stability theory in modules
• On pure semi-simple Grothendieck categories I
• Elementary Duality of Modules
• Locally finitely presented additive categories
• The Ziegler Spectrum of a Locally Coherent Grothendieck Category
• Functors on locally finitely presented additive categories
• PURE-INJECTIVE ENVELOPES
• Finite presentation and purity in categories σ[M]
• Model theory of comodules
• Some model theory of sheaves of modules
• Indecomposable flat cotorsion modules
• Categories and Sheaves
• When is Flatness Coherent?
• Infinite Dimensional Representations of Canonical Algebras
• Gruson-Jensen Duality for Idempotent Rings
• Some compactifications of general algebras
• Autour de la platitude
• Coherent Rings and Fp -Injective Modules
• Des catégories abéliennes
• Equationally compact algebras (I)
• Model-completions and modules
• Some constructions of compact algebras
• Definability problems for modules and rings
• Equationally compact algebras II
• Additive categories of locally finite representation type