embedding
Sign in to saveAlso known as imbedding
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.
~10 min read
Article
16 sectionsContents
- Topology and geometry
- General topology
- Related definitions
- Differential topology
- Riemannian and pseudo-Riemannian geometry
- Algebra
- Field theory
- Universal algebra and model theory
- Order theory and domain theory
- Metric spaces
- Normed spaces
- Category theory
- See also
- Notes
- References
- External links
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 is said to be embedded in another object Y, the embedding is given by some injective and structure-preserving map f:X\rightarrow Y. The precise meaning of "structure-preserving" depends on the kind of mathematical structure of which X and Y are instances. In the terminology of category theory, a structure-preserving map is called a morphism.