English

Classification theory for accessible categories

Logic 2014-11-25 v4 Category Theory

Abstract

We show that a number of results on abstract elementary classes (AECs) hold in accessible categories with concrete directed colimits. In particular, we prove a generalization of a recent result of Boney on tameness under a large cardinal assumption. We also show that such categories support a robust version of the Ehrenfeucht-Mostowski construction. This analysis has the added benefit of producing a purely language-free characterization of AECs, and highlights the precise role played by the coherence axiom.

Keywords

Cite

@article{arxiv.1404.2528,
  title  = {Classification theory for accessible categories},
  author = {Michael Lieberman and Jirí Rosický},
  journal= {arXiv preprint arXiv:1404.2528},
  year   = {2014}
}

Comments

17 pages

R2 v1 2026-06-22T03:47:06.192Z