UNIVERSAL ABSTRACT ELEMENTARY CLASSES AND LOCALLY MULTIPRESENTABLE CATEGORIES

被引：6

作者：

Lieberman, Michael ^{[1
]}

Rosicky, Jiri ^{[1
]}

Vasey, Sebastien ^{[2
]}

机构：

[1] Masaryk Univ, Fac Sci, Dept Math & Stat, Brno, Czech Republic

[2] Harvard Univ, Dept Math, Cambridge, MA 02138 USA

来源：

PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY | 2019年 / 147卷 / 03期

关键词：

Abstract elementary classes; accessible categories; universal classes; intersections; locally multipresentable categories; locally polypresentable categories; CLASSIFICATION-THEORY; STABILITY;

D O I：

10.1090/proc/14326

中图分类号：

O29 [应用数学];

学科分类号：

070104 ;

摘要：

We exhibit an equivalence between the model-theoretic framework of universal classes and the category-theoretic framework of locally multi-presentable categories. We similarly give an equivalence between abstract elementary classes (AECs) admitting intersections and locally polypresentable categories. We use these results to shed light on Shelah's presentation theorem for AECs.

引用

页码：1283 / 1298

页数：16

共 31 条

[1] Adamek J., 2004, ABSTRACT CONCRETE CA
[2] [Anonymous], 1979, LECT NOTES MATH
[3] Examples of non-locality
Baldwin, John T.
Shelah, Saharon
[J]. JOURNAL OF SYMBOLIC LOGIC, 2008, 73 (03) : 765 - 782
[4] BALDWIN JT, 1987, LECT NOTES MATH, V1292, P1
[5] Abstract elementary classes and accessible categories
Beke, T.
Rosicky, J.
[J]. ANNALS OF PURE AND APPLIED LOGIC, 2012, 163 (12) : 2008 - 2017
[6] A presentation theorem for continuous logic and metric abstract elementary classes
Boney, Will
[J]. MATHEMATICAL LOGIC QUARTERLY, 2017, 63 (05) : 397 - 414
[7] μ-Abstract elementary classes and other generalizations
Boney, Will
Grossberg, Rami
Lieberman, Michael
Rosicky, Jiri
Vasey, Sebastien
[J]. JOURNAL OF PURE AND APPLIED ALGEBRA, 2016, 220 (09) : 3048 - 3066
[8] CATEGORIES OF EMBEDDINGS
COQUAND, T
[J]. THEORETICAL COMPUTER SCIENCE, 1989, 68 (03) : 221 - 237
[9] LOCALLY MULTIPRESENTABLE CATEGORIES
DIERS, Y
[J]. ARCHIV DER MATHEMATIK, 1980, 34 (04) : 344 - 356
[10] Gabriel P., 1971, LECT NOTES MATH, V221

← 1 2 3 4 →