Metric abstract elementary classes as accessible categories

DOI10.1017/JSL.2016.39zbMATH Open1422.03084arXiv1504.02660OpenAlexW2964175206MaRDI QIDQ5359573FDOQ5359573

Authors: Jiří Rosický, M. Lieberman 

Publication date: 26 September 2017

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

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.

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

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

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)

Cites Work

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

Cited In (16)

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