Previous |  Up |  Next


accessible category; infinitary logic; Vopěnka's principle
For categories with equalizers the concepts ``accessible'' and ``axiomatizable'' are equivalent. This results is proved under (in fact, is equivalent to) the large-cardinal Vopěnka's principle.
[AR] Adámek J., Rosický J.: Locally Presentable and Accessible Categories. Cambridge Univ. Press, 1994. MR 1294136
[D] Diers Y.: Catégories localement multiprésentables. Arch. Math. 34 (1980), 344-356. MR 0593951 | Zbl 0453.18002
[F] Fisher E.R.: Vopěnka's principle, category theory and universal algebra. personal communication, 1987.
[J] Jech T.: Set Theory. Academic Press, 1978. MR 0506523 | Zbl 1007.03002
[L] Lair C.: Catégories modélables et catégories esquissables. Diagrammes 6 (1981), 1-20. MR 0684535 | Zbl 0522.18008
[MP] Makkai M., Paré R.: Accessible categories: the foundations of categorical model theory. Contemp. Math. 104 (1989). MR 1031717
[RTA] Rosický J., Trnková V., Adámek J.: Unexpected properties of locally presentable categories. Alg. Univ. 27 (1990), 153-170. MR 1037859
Partner of
EuDML logo