On colimits and elementary embeddings. (English) Zbl 1275.03144
The paper uses set-theoretical arguments involving elementary embeddings to give new proofs of known results about colimits in categories of structures. This new approach makes it possible to improve some of these results by giving sharper estimates of the involved set-theoretical complexity. More applications may appear in the future.
Reviewer: Jiří Rosický (Brno)
MSC:
03E55 | Large cardinals |
18A30 | Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) |
18C35 | Accessible and locally presentable categories |
Keywords:
directed colimit; elementary embedding; strongly compact cardinal; Vopenka’s principle; accessible categoryReferences:
[1] | Transactions of the American Mathematical Society |
[2] | Journal of the European Mathematical Society |
[3] | DOI: 10.1007/s00153-011-0261-8 · Zbl 1250.03108 · doi:10.1007/s00153-011-0261-8 |
[4] | Locally presentable and accessible categories (1994) · Zbl 0795.18007 |
[5] | DOI: 10.1007/BF01182450 · Zbl 0701.18003 · doi:10.1007/BF01182450 |
[6] | DOI: 10.1007/BF00878503 · Zbl 0801.18004 · doi:10.1007/BF00878503 |
[7] | Combinatorial, algebraic and topological representations of groups, semigroups and categories (1980) |
[8] | Categories for the working mathematician 5 (1978) |
[9] | Elementary embeddings and infinitary combinatorics 36 pp 407– (1971) |
[10] | The higher infinite (2003) |
[11] | Tsukuba Journal of Mathematics 11 pp 353– (1987) |
[12] | DOI: 10.1016/j.aim.2004.10.001 · Zbl 1082.55007 · doi:10.1016/j.aim.2004.10.001 |
[13] | DOI: 10.1002/malq.19710170114 · Zbl 0227.02033 · doi:10.1002/malq.19710170114 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.