Ask a Question

Prefer a chat interface with context about you and your work?

On Colimits and Elementary Embeddings

On Colimits and Elementary Embeddings

Abstract We give a sharper version of a theorem of Rosický, Trnková and Adámek [13], and a new proof of a theorem of Rosický [12], both about colimits in categories of structures. Unlike the original proofs, which use category-theoretic methods, we use set-theoretic arguments involving elementary embeddings given by large …