Mathematics MOC

Embedding

An embedding is an injective homomorphism which induces an isomorphism with its image. See Regular monomorphism for a categorical generalization.

Topology

An embedding is an injective continuous map such that it would be impossible for to have a coarser topology, i.e. the topology of is the same as the Subspace topology induced by .¹ topology

Differential topology

A embedding of in is a diffeomorphism between and a submanifold of . diff

Others

• Category embedding

---

tidy | en | sembr

Footnotes

1. 2020, Topology: A categorical approach, 26 ↩