abstract embedding

From the most general -categorical- point of view, an embedding between two objects $A,B$ in a category $𝒞$ is a $𝒞$-morphism $f:A\to B$ which is injective. So, for example, the adjectives topological, algebraic or geometrical should be used, respectively, when we talk of embeddings between topological spaces, algebraic structures or geometries.