Embedding

Common card · No. 211748

In mathematics, an embedding (or imbedding) is one instance of some mathematical structure contained within another instance, such as a group that is a subgroup. When some object X {\displaystyle X} is said to be embedded in another object Y {\displaystyle Y} , the embedding is given by some injective and structure-preserving map f : X → Y {\displaystyle f:X\rightarrow Y} . The precise meaning of "structure-preserving" depends on the kind of mathematical structure of which X {\displaystyle X} and Y {\displaystyle Y} are instances. In the terminology of category theory, a structure-preserving map is called a morphism. The fact that a map f : X → Y {\displaystyle f:X\rightarrow...

Read on Wikipedia