English

Metric abstract elementary classes as accessible categories

Logic 2017-03-30 v5 Category Theory

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 1\aleph_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.

Keywords

Cite

@article{arxiv.1504.02660,
  title  = {Metric abstract elementary classes as accessible categories},
  author = {Michael Lieberman and Jiri Rosicky},
  journal= {arXiv preprint arXiv:1504.02660},
  year   = {2017}
}

Comments

v2: changed terminology. v3: tightened inequalities. v4: clarifying notes added. v5: referee's comments incorporated, with substantial improvements

R2 v1 2026-06-22T09:14:08.189Z