We introduce mu-Abstract Elementary Classes (mu-AECs) as a broad framework for model theory that includes complete boolean algebras and metric spaces, and begin to develop their classification theory. Moreover, we note that mu-AECs correspond precisely to accessible categories in which all morphisms are monomorphisms, and begin the process of reconciling these divergent perspectives: for example, the preliminary classification-theoretic results for mu-AECs transfer directly to accessible categories with monomorphisms. (C) 2016 Elsevier B.V. All rights reserved.
机构:
Carnegie Mellon Univ, Dept Math Sci, Pittsburgh, PA 15213 USA
Harvard Univ, Dept Math, Cambridge, MA 02138 USACarnegie Mellon Univ, Dept Math Sci, Pittsburgh, PA 15213 USA