All Questions

An embedding is an injective map into a universal, simpler model object. Many embedding theorems are without obstruction, in the sense that every object which you wish to embed can be embedded. ...

1) Fields have algebraic closures unique up to a non-unique isomorphism. 2) Nice spaces (without base point) have universal covering spaces unique up to a non-unique isomorphism. 3) Modules have ...