1.Previous
3.Next

of "structure-preserving" depends on the kind of mathematical structure of which and are instances. In the terminology of category theory, a structure-preserving map is called a morphism.

The fact that a map is an embedding is often indicated by the use of a "hooked arrow" ; thus: (On the other hand, this notation is sometimes reserved for inclusion maps.)

Given and , several different embeddings of in may be

1.Previous
3.Next