We show that metric abstract elementary classes are, in the sense of [15], coherent accessible categories with directed colimits, with concrete ℵ1-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 [15] yield a proof that any categorical mAEC is μ-d-stable in many cardinals below the categoricity cardinal. (shrink)

We show that the Lascar group $\operatorname {Gal}_L$ of a first-order theory T is naturally isomorphic to the fundamental group $\pi _1|)$ of the classifying space of the category of models of T and elementary embeddings. We use this identification to compute the Lascar groups of several example theories via homotopy-theoretic methods, and in fact completely characterize the homotopy type of $|\mathrm {Mod}|$ for these theories T. It turns out that in each of these cases, $|\operatorname {Mod}|$ is aspherical, i.e., (...) its higher homotopy groups vanish. This raises the question of which homotopy types are of the form $|\mathrm {Mod}|$ in general. As a preliminary step towards answering this question, we show that every homotopy type is of the form $|\mathcal {C}|$ where $\mathcal {C}$ is an Abstract Elementary Class with amalgamation for $\kappa $ -small objects, where $\kappa $ may be taken arbitrarily large. This result is improved in another paper. (shrink)

We provide comprehensive, level-by-level characterizations of large cardinals, in the range from weakly compact to strongly compact, by closure properties of powerful images of accessible functors. In the process, we show that these properties are also equivalent to various forms of tameness for abstract elementary classes. This systematizes and extends results of [W. Boney and S. Unger, Large cardinal axioms from tameness in AECs, Proc. Amer. Math. Soc.145(10) (2017) 4517–4532; A. Brooke-Taylor and J. Rosický, Accessible images revisited, Proc. AMS145(3) (2016) (...) 1317–1327; M. Lieberman, A category-theoretic characterization of almost measurable cardinals (Submitted, 2018); M. Lieberman and J. Rosický, Classification theory for accessible categories. J. Symbolic Logic81(1) (2016) 1647–1648]. (shrink)

We broaden the framework of metric abstract elementary classes (mAECs) in several essential ways, chiefly by allowing the metric to take values in a well-behaved quantale. As a proof of concept we show that the result of Boney and Zambrano (Around the set-theoretical consistency of d-tameness of metric abstract elementary classes, arXiv:1508.05529, 2015) on (metric) tameness under a large cardinal assumption holds in this more general context. We briefly consider a further generalization to partial metric spaces, and hint at connections (...) to classes of fuzzy structures, and structures on sheaves. (shrink)

We exhibit a bridge between the theory of cellular categories, used in algebraic topology and homological algebra, and the model-theoretic notion of stable independence. Roughly speaking, we show that the combinatorial cellular categories (those where, in a precise sense, the cellular morphisms are generated by a set) are exactly those that give rise to stable independence notions. We give two applications: on the one hand, we show that the abstract elementary classes of roots of Ext studied by Baldwin–Eklof–Trlifaj are stable (...) and tame. On the other hand, we give a simpler proof (in a special case) that combinatorial categories are closed under 2-limits, a theorem of Makkai and Rosický. (shrink)

We introduce the framework of AECats, generalizing both the category of models of some first-order theory and the category of subsets of models. Any AEC and any compact abstract theory forms an AECat. In particular, we find applications in positive logic and continuous logic: the category of models of a positive or continuous theory is an AECat. The Kim–Pillay theorem for first-order logic characterizes simple theories by the properties dividing independence has. We prove a version of the Kim–Pillay theorem for (...) AECats with the amalgamation property, generalizing the first-order version and existing versions for positive logic. (shrink)