μ-Abstract Elementary Classes and other generalizations
Abstract
We introduce μ-Abstract Elementary Classes (μ-AECs) as a broad framework for model theory that includes complete boolean algebras and Dirichlet series, and begin to develop their classification theory. Moreover, we note that μ-AECs correspond precisely to accessible categories in which all morphisms are monomorphisms, and begin the process of reconciling these divergent perspectives: not least, the preliminary classification-theoretic results for μ-AECs transfer directly to accessible categories with monomorphisms.
Turn this paper into a lesson
ArcXiv compiles a structured reading guide from this paper's metadata: plain-English importance, contributions, prerequisite concepts, which sections to read first, flashcards, and a quiz. Grounded in the abstract, never invented.