pith. sign in

arxiv: 1404.2528 · v4 · pith:SKKKD2AZnew · submitted 2014-04-09 · 🧮 math.LO · math.CT

Classification theory for accessible categories

classification 🧮 math.LO math.CT
keywords categoriesaccessibleaecsabstractaddedanalysisassumptionaxiom
0
0 comments X
read the original 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.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.