On colimits and elementary embeddings
Logic
2014-10-01 v1 Category Theory
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.
Cite
@article{arxiv.1202.5215,
title = {On colimits and elementary embeddings},
author = {Joan Bagaria and Andrew Brooke-Taylor},
journal= {arXiv preprint arXiv:1202.5215},
year = {2014}
}
Comments
17 pages