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

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

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

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

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

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

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

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

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.