{ "id": "1202.5215", "version": "v1", "published": "2012-02-23T15:51:43.000Z", "updated": "2012-02-23T15:51:43.000Z", "title": "On colimits and elementary embeddings", "authors": [ "Joan Bagaria", "Andrew Brooke-Taylor" ], "comment": "17 pages", "categories": [ "math.LO", "math.CT" ], "abstract": "We give a sharper version of a theorem of Rosicky, Trnkova and Adamek, and a new proof of a theorem of Rosicky, both about colimit preservation between categories of structures. Unlike the original proofs, which use category-theoretic methods, we use set-theoretic arguments involving elementary embeddings given by large cardinals such as alpha-strongly compact and C^(n)-extendible cardinals.", "revisions": [ { "version": "v1", "updated": "2012-02-23T15:51:43.000Z" } ], "analyses": { "subjects": [ "03E55", "03E75", "18A15", "18C35", "18A30", "18A35" ], "keywords": [ "elementary embeddings", "sharper version", "original proofs", "category-theoretic methods", "set-theoretic arguments" ], "note": { "typesetting": "TeX", "pages": 17, "language": "en", "license": "arXiv", "status": "editable", "adsabs": "2012arXiv1202.5215B" } } }