All Questions

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 ...

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. ...