Metric abstract elementary classes as accessible categories
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 -directed colimits and concrete monomorphisms. More broadly, we define a notion of -concrete AEC---an AEC-like category in which only the -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 -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