##  [Embedding](/embedding-0) 

 Definition

An injective structure-preserving map from one object into another that identifies the source as a subobject of the target while preserving the relevant structure (often realized as an injective morphism with additional reflection properties).

 

 

 

 

 

 





## Principle

Principle

An embedding both injects and reflects structure: it realizes the source as concretely present inside the target so that structure in the source corresponds exactly to the induced structure on the image.

 

 

 

 

 





## Demonstration

Demonstration

Subgroup embedding: an injective group homomorphism i: H → G that identifies H with a subgroup of G. Topological embedding: f: X → Y is continuous, injective, and a homeomorphism onto its image with the subspace topology.

 

 

 

 

## Misapplication

Misapplication

Calling any injective map an embedding without verifying that the image inherits the source's structure (e.g., an injective continuous map that is not a homeomorphism onto its image is not a topological embedding).

 

 

 

 

 





## Consequence

Consequence

Embedding permits treating the source as a genuine subobject of the target, enabling transfer of properties, extension arguments, and the use of ambient structure for analysis.

 

 

 

 

## Reversal

Reversal

A quotient or projection identifies elements rather than injectively including them; a non-injective homomorphism cannot serve as an embedding.

 

 

 

 

 





## Boundary

Boundary

The formal meaning depends on category: often requires injectivity and that the morphism be a monomorphism or a regular/initial monomorphism; some contexts demand closed/dense image or topological homeomorphism onto image. Not every injective morphism qualifies as an embedding.

 

 

 

 

 





## Semantic Tension

Semantic Tension

Injection versus embedding: injection is a set-theoretic property, embedding is structural and may demand additional reflection or topology; embedding versus immersion or immersion versus homeomorphism in geometry leads to frequent confusion.

 

 

 

 

 





## Synthesis

Synthesis

An embedding is the structure-preserving inclusion that realizes one object concretely inside another by injectivity plus the extra reflection conditions that ensure the induced structure on the image matches the source.