Metric abstract elementary classes as accessible categories

DOI10.1017/JSL.2016.39MaRDI QIDQ5359573zbMATH OpenOpenAlexFDO

Authors Jiří Rosický, M. Lieberman

Publication date 26 September 2017

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1504.02660

zbMATH Keywords

abstract model theoryaccessible categoryGalois typesmetric abstract elementary classmetric stability

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Abstract model theory (03C95) Abstract elementary classes and related topics (03C48) Accessible and locally presentable categories (18C35)

Abstract: We show that metric abstract elementary classes (mAECs) are, in the sense of [LR] (i.e. arXiv:1404.2528), coherent accessible categories with directed colimits, with concrete $alep{h}_1$-directed colimits and concrete monomorphisms. More broadly, we define a notion of $kappa$-concrete AEC---an AEC-like category in which only the $kappa$-directed colimits need be concrete---and develop the theory of such categories, beginning with a category-theoretic analogue of Shelah's Presentation Theorem and a proof of the existence of an Ehrenfeucht-Mostowski functor in case the category is large. For mAECs in particular, arguments refining those in [LR] yield a proof that any categorical mAEC is $mu$-d-stable in many cardinals below the categoricity cardinal.

Recommendations

• Classification theory for accessible categories
• Category-theoretic aspects of abstract elementary classes
• Abstract elementary classes and accessible categories
• Limits of abstract elementary classes
• \(\mu\)-abstract elementary classes and other generalizations

Cites work

• scientific article; zbMATH DE number 575948 (Why is no real title available?)
• scientific article; zbMATH DE number 1946951 (Why is no real title available?)
• A topology for Galois types in abstract elementary classes
• Abstract elementary classes and accessible categories
• Accessible Categories: The Foundations of Categorical Model Theory
• Accessible categories, saturation and categoricity
• Categoricity in homogeneous complete metric spaces
• Category-theoretic aspects of abstract elementary classes
• Classification theory for accessible categories
• Completeness in generalized ultrametric spaces
• Generalized ultrametric spaces. I
• Grothendieck quasitoposes
• Infinitary stability theory
• Limit models in metric abstract elementary classes: the categorical case
• Selected papers on probability and statistics
• Tameness from large cardinal axioms
• \(\mu\)-abstract elementary classes and other generalizations

Cited in

(16)

• Universal abstract elementary classes and locally multipresentable categories
• The Kim-Pillay theorem for abstract elementary categories
• Abstract elementary classes and accessible categories
• Limit models in metric abstract elementary classes: the categorical case
• Flat vs. filtered colimits in the enriched context
• Categoricity in homogeneous complete metric spaces
• Sizes and filtrations in accessible categories
• Are Banach spaces monadic?
• Approximate injectivity
• Internal sizes in \(\mu\)-abstract elementary classes
• Classification theory for accessible categories
• Varieties of quantitative algebras and their monads
• Approximate injectivity and smallness in metric-enriched categories
• Metric monads
• Limits of abstract elementary classes
• Tameness in generalized metric structures

This page was built for publication: Metric abstract elementary classes as accessible categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5359573)