In

Embedding of manifolds

on the Manifold Atlas {{set index article Abstract algebra Category theory General topology Differential topology Functions and mappings Maps of manifolds Model theory Order theory

mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...

, an embedding (or imbedding) is one instance of some mathematical structure
In mathematics, a structure is a set endowed with some additional features on the set (e.g. an operation, relation, metric, or topology). Often, the additional features are attached or related to the set, so as to provide it with some additional ...

contained within another instance, such as a group
A group is a number of persons or things that are located, gathered, or classed together.
Groups of people
* Cultural group, a group whose members share the same cultural identity
* Ethnic group, a group whose members share the same ethnic ide ...

that is a subgroup
In group theory, a branch of mathematics, given a group ''G'' under a binary operation ∗, a subset ''H'' of ''G'' is called a subgroup of ''G'' if ''H'' also forms a group under the operation ∗. More precisely, ''H'' is a subgroup ...

.
When some object $X$ is said to be embedded in another object $Y$, the embedding is given by some injective
In mathematics, an injective function (also known as injection, or one-to-one function) is a function that maps distinct elements of its domain to distinct elements; that is, implies . (Equivalently, implies in the equivalent contrapositiv ...

and structure-preserving map $f:X\backslash 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
Category theory is a general theory of mathematical structures and their relations that was introduced by Samuel Eilenberg and Saunders Mac Lane in the middle of the 20th century in their foundational work on algebraic topology. Nowadays, cate ...

, a structure-preserving map is called a morphism
In mathematics, particularly in category theory, a morphism is a structure-preserving map from one mathematical structure to another one of the same type. The notion of morphism recurs in much of contemporary mathematics. In set theory, morphisms a ...

.
The fact that a map $f:X\backslash rightarrow\; Y$ is an embedding is often indicated by the use of a "hooked arrow" (); thus: $f\; :\; X\; \backslash hookrightarrow\; Y.$ (On the other hand, this notation is sometimes reserved for inclusion map
In mathematics, if A is a subset of B, then the inclusion map (also inclusion function, insertion, or canonical injection) is the function \iota that sends each element x of A to x, treated as an element of B:
\iota : A\rightarrow B, \qquad \iot ...

s.)
Given $X$ and $Y$, several different embeddings of $X$ in $Y$ may be possible. In many cases of interest there is a standard (or "canonical") embedding, like those of the natural number
In mathematics, the natural numbers are those numbers used for counting (as in "there are ''six'' coins on the table") and ordering (as in "this is the ''third'' largest city in the country").
Numbers used for counting are called ''Cardinal n ...

s in the integer
An integer is the number zero (), a positive natural number (, , , etc.) or a negative integer with a minus sign (−1, −2, −3, etc.). The negative numbers are the additive inverses of the corresponding positive numbers. In the language ...

s, the integers in the rational number
In mathematics, a rational number is a number that can be expressed as the quotient or fraction of two integers, a numerator and a non-zero denominator . For example, is a rational number, as is every integer (e.g. ). The set of all ration ...

s, the rational numbers in the real number
In mathematics, a real number is a number that can be used to measure a ''continuous'' one-dimensional quantity such as a distance, duration or temperature. Here, ''continuous'' means that values can have arbitrarily small variations. Every real ...

s, and the real numbers in the complex number
In mathematics, a complex number is an element of a number system that extends the real numbers with a specific element denoted , called the imaginary unit and satisfying the equation i^= -1; every complex number can be expressed in the form ...

s. In such cases it is common to identify the domain
Domain may refer to:
Mathematics
*Domain of a function, the set of input values for which the (total) function is defined
**Domain of definition of a partial function
**Natural domain of a partial function
**Domain of holomorphy of a function
* Do ...

$X$ with its image
An image is a visual representation of something. It can be two-dimensional, three-dimensional, or somehow otherwise feed into the visual system to convey information. An image can be an artifact, such as a photograph or other two-dimensiona ...

$f(X)$ contained in $Y$, so that $f(X)\backslash subseteq\; Y$.
Topology and geometry

General topology

Ingeneral topology
In mathematics, general topology is the branch of topology that deals with the basic set-theoretic definitions and constructions used in topology. It is the foundation of most other branches of topology, including differential topology, geomet ...

, an embedding is a homeomorphism
In the mathematical field of topology, a homeomorphism, topological isomorphism, or bicontinuous function is a bijective and continuous function between topological spaces that has a continuous inverse function. Homeomorphisms are the isomorphi ...

onto its image. More explicitly, an injective continuous
Continuity or continuous may refer to:
Mathematics
* Continuity (mathematics), the opposing concept to discreteness; common examples include
** Continuous probability distribution or random variable in probability and statistics
** Continuous ...

map $f\; :\; X\; \backslash to\; Y$ between topological space
In mathematics, a topological space is, roughly speaking, a geometrical space in which closeness is defined but cannot necessarily be measured by a numeric distance. More specifically, a topological space is a set whose elements are called points ...

s $X$ and $Y$ is a topological embedding if $f$ yields a homeomorphism between $X$ and $f(X)$ (where $f(X)$ carries the subspace topology
In topology and related areas of mathematics, a subspace of a topological space ''X'' is a subset ''S'' of ''X'' which is equipped with a topology induced from that of ''X'' called the subspace topology (or the relative topology, or the induced to ...

inherited from $Y$). Intuitively then, the embedding $f\; :\; X\; \backslash to\; Y$ lets us treat $X$ as a subspace of $Y$. Every embedding is injective and continuous
Continuity or continuous may refer to:
Mathematics
* Continuity (mathematics), the opposing concept to discreteness; common examples include
** Continuous probability distribution or random variable in probability and statistics
** Continuous ...

. Every map that is injective, continuous and either open
Open or OPEN may refer to:
Music
* Open (band), Australian pop/rock band
* The Open (band), English indie rock band
* ''Open'' (Blues Image album), 1969
* ''Open'' (Gotthard album), 1999
* ''Open'' (Cowboy Junkies album), 2001
* ''Open'' (YF ...

or closed
Closed may refer to:
Mathematics
* Closure (mathematics), a set, along with operations, for which applying those operations on members always results in a member of the set
* Closed set, a set which contains all its limit points
* Closed interval, ...

is an embedding; however there are also embeddings which are neither open nor closed. The latter happens if the image $f(X)$ is neither an open set
In mathematics, open sets are a generalization of open intervals in the real line.
In a metric space (a set along with a distance defined between any two points), open sets are the sets that, with every point , contain all points that are suf ...

nor a closed set
In geometry, topology, and related branches of mathematics, a closed set is a set whose complement is an open set. In a topological space, a closed set can be defined as a set which contains all its limit points. In a complete metric space, a cl ...

in $Y$.
For a given space $Y$, the existence of an embedding $X\; \backslash to\; Y$ is a topological invariant
In topology and related areas of mathematics, a topological property or topological invariant is a property of a topological space that is invariant under homeomorphisms. Alternatively, a topological property is a proper class of topological spaces ...

of $X$. This allows two spaces to be distinguished if one is able to be embedded in a space while the other is not.
Related definitions

If the domain of a function $f\; :\; X\; \backslash to\; Y$ is atopological space
In mathematics, a topological space is, roughly speaking, a geometrical space in which closeness is defined but cannot necessarily be measured by a numeric distance. More specifically, a topological space is a set whose elements are called points ...

then the function is said to be ' if there exists some neighborhood
A neighbourhood (British English, Irish English, Australian English and Canadian English) or neighborhood (American English; see spelling differences) is a geographically localised community within a larger city, town, suburb or rural area, ...

$U$ of this point such that the restriction $f\backslash big\backslash vert\_U\; :\; U\; \backslash to\; Y$ is injective. It is called ' if it is locally injective around every point of its domain. Similarly, a ' is a function for which every point in its domain has some neighborhood to which its restriction is a (topological, resp. smooth) embedding.
Every injective function is locally injective but not conversely. Local diffeomorphism In mathematics, more specifically differential topology, a local diffeomorphism is intuitively a map between Smooth manifolds that preserves the local differentiable structure. The formal definition of a local diffeomorphism is given below.
Form ...

s, local homeomorphism
In mathematics, more specifically topology, a local homeomorphism is a function between topological spaces that, intuitively, preserves local (though not necessarily global) structure.
If f : X \to Y is a local homeomorphism, X is said to be an é ...

s, and smooth immersion
Immersion may refer to:
The arts
* "Immersion", a 2012 story by Aliette de Bodard
* ''Immersion'', a French comic book series by Léo Quievreux#Immersion, Léo Quievreux
* Immersion (album), ''Immersion'' (album), the third album by Australian gro ...

s are all locally injective functions that are not necessarily injective. The inverse function theorem
In mathematics, specifically differential calculus, the inverse function theorem gives a sufficient condition for a function to be invertible in a neighborhood of a point in its domain: namely, that its ''derivative is continuous and non-zero at th ...

gives a sufficient condition for a continuously differentiable function to be (among other things) locally injective. Every fiber
Fiber or fibre (from la, fibra, links=no) is a natural or artificial substance that is significantly longer than it is wide. Fibers are often used in the manufacture of other materials. The strongest engineering materials often incorporate ...

of a locally injective function $f\; :\; X\; \backslash to\; Y$ is necessarily a discrete subspace of its domain
Domain may refer to:
Mathematics
*Domain of a function, the set of input values for which the (total) function is defined
**Domain of definition of a partial function
**Natural domain of a partial function
**Domain of holomorphy of a function
* Do ...

$X.$
Differential topology

Indifferential topology
In mathematics, differential topology is the field dealing with the topological properties and smooth properties of smooth manifolds. In this sense differential topology is distinct from the closely related field of differential geometry, which ...

:
Let $M$ and $N$ be smooth manifold
In mathematics, a manifold is a topological space that locally resembles Euclidean space near each point. More precisely, an n-dimensional manifold, or ''n-manifold'' for short, is a topological space with the property that each point has a n ...

s and $f:M\backslash to\; N$ be a smooth map. Then $f$ is called an immersion
Immersion may refer to:
The arts
* "Immersion", a 2012 story by Aliette de Bodard
* ''Immersion'', a French comic book series by Léo Quievreux#Immersion, Léo Quievreux
* Immersion (album), ''Immersion'' (album), the third album by Australian gro ...

if its derivative
In mathematics, the derivative of a function of a real variable measures the sensitivity to change of the function value (output value) with respect to a change in its argument (input value). Derivatives are a fundamental tool of calculus. F ...

is everywhere injective. An embedding, or a smooth embedding, is defined to be an immersion which is an embedding in the topological sense mentioned above (i.e. homeomorphism
In the mathematical field of topology, a homeomorphism, topological isomorphism, or bicontinuous function is a bijective and continuous function between topological spaces that has a continuous inverse function. Homeomorphisms are the isomorphi ...

onto its image).
In other words, the domain of an embedding is diffeomorphic
In mathematics, a diffeomorphism is an isomorphism of smooth manifolds. It is an Inverse function, invertible Function (mathematics), function that maps one differentiable manifold to another such that both the function and its inverse function ...

to its image, and in particular the image of an embedding must be a submanifold
In mathematics, a submanifold of a manifold ''M'' is a subset ''S'' which itself has the structure of a manifold, and for which the inclusion map satisfies certain properties. There are different types of submanifolds depending on exactly which p ...

. An immersion is precisely a local embedding, i.e. for any point $x\backslash in\; M$ there is a neighborhood $x\backslash in\; U\backslash subset\; M$ such that $f:U\backslash to\; N$ is an embedding.
When the domain manifold is compact, the notion of a smooth embedding is equivalent to that of an injective immersion.
An important case is $N\; =\; \backslash mathbb^n$. The interest here is in how large $n$ must be for an embedding, in terms of the dimension $m$ of $M$. The Whitney embedding theorem
In mathematics, particularly in differential topology, there are two Whitney embedding theorems, named after Hassler Whitney:
*The strong Whitney embedding theorem states that any differentiable manifold, smooth real numbers, real -dimension (math ...

states that $n\; =\; 2m$ is enough, and is the best possible linear bound. For example, the real projective space
In mathematics, real projective space, denoted or is the topological space of lines passing through the origin 0 in It is a compact, smooth manifold of dimension , and is a special case of a Grassmannian space.
Basic properties Construction
A ...

$RP^m$ of dimension $m$, where $m$ is a power of two, requires $n\; =\; 2m$ for an embedding. However, this does not apply to immersions; for instance, $RP^2$ can be immersed in $\backslash mathbb^3$ as is explicitly shown by Boy's surface
In geometry, Boy's surface is an immersion of the real projective plane in 3-dimensional space found by Werner Boy in 1901. He discovered it on assignment from David Hilbert to prove that the projective plane ''could not'' be immersed in 3-space ...

—which has self-intersections. The Roman surface
In mathematics, the Roman surface or Steiner surface is a self-intersecting mapping of the real projective plane into three-dimensional space, with an unusually high degree of symmetry. This mapping is not an immersion of the projective plane; ...

fails to be an immersion as it contains cross-caps.
An embedding is proper if it behaves well with respect to boundaries: one requires the map $f:\; X\; \backslash rightarrow\; Y$ to be such that
*$f(\backslash partial\; X)\; =\; f(X)\; \backslash cap\; \backslash partial\; Y$, and
*$f(X)$ is transverse
Transverse may refer to:
*Transverse engine, an engine in which the crankshaft is oriented side-to-side relative to the wheels of the vehicle
*Transverse flute, a flute that is held horizontally
* Transverse force (or ''Euler force''), the tangen ...

to $\backslash partial\; Y$ in any point of $f(\backslash partial\; X)$.
The first condition is equivalent to having $f(\backslash partial\; X)\; \backslash subseteq\; \backslash partial\; Y$ and $f(X\; \backslash setminus\; \backslash partial\; X)\; \backslash subseteq\; Y\; \backslash setminus\; \backslash partial\; Y$. The second condition, roughly speaking, says that $f(X)$ is not tangent to the boundary of $Y$.
Riemannian and pseudo-Riemannian geometry

InRiemannian geometry
Riemannian geometry is the branch of differential geometry that studies Riemannian manifolds, smooth manifolds with a ''Riemannian metric'', i.e. with an inner product on the tangent space at each point that varies smoothly from point to poin ...

and pseudo-Riemannian geometry:
Let $(M,g)$ and $(N,h)$ be Riemannian manifold
In differential geometry, a Riemannian manifold or Riemannian space , so called after the German mathematician Bernhard Riemann, is a real manifold, real, smooth manifold ''M'' equipped with a positive-definite Inner product space, inner product ...

s or more generally pseudo-Riemannian manifold
In differential geometry, a pseudo-Riemannian manifold, also called a semi-Riemannian manifold, is a differentiable manifold with a metric tensor that is everywhere nondegenerate. This is a generalization of a Riemannian manifold in which the ...

s.
An isometric embedding is a smooth embedding $f:M\backslash rightarrow\; N$ which preserves the (pseudo-)metric
Metric or metrical may refer to:
* Metric system, an internationally adopted decimal system of measurement
* An adjective indicating relation to measurement in general, or a noun describing a specific type of measurement
Mathematics
In mathem ...

in the sense that $g$ is equal to the pullback
In mathematics, a pullback is either of two different, but related processes: precomposition and fiber-product. Its dual is a pushforward.
Precomposition
Precomposition with a function probably provides the most elementary notion of pullback: in ...

of $h$ by $f$, i.e. $g=f*h$. Explicitly, for any two tangent vectors $v,w\backslash in\; T\_x(M)$ we have
:$g(v,w)=h(df(v),df(w)).$
Analogously, isometric immersion is an immersion between (pseudo)-Riemannian manifolds which preserves the (pseudo)-Riemannian metrics.
Equivalently, in Riemannian geometry, an isometric embedding (immersion) is a smooth embedding (immersion) which preserves length of curve
In mathematics, a curve (also called a curved line in older texts) is an object similar to a line (geometry), line, but that does not have to be Linearity, straight.
Intuitively, a curve may be thought of as the trace left by a moving point (ge ...

s (cf. Nash embedding theorem
The Nash embedding theorems (or imbedding theorems), named after John Forbes Nash Jr., state that every Riemannian manifold can be isometrically embedded into some Euclidean space. Isometric means preserving the length of every path. For instan ...

).Nash J., ''The embedding problem for Riemannian manifolds,'' Ann. of Math. (2), 63 (1956), 20–63.
Algebra

In general, for analgebraic category
In universal algebra, a variety of algebras or equational class is the class of all algebraic structures of a given signature satisfying a given set of identities. For example, the groups form a variety of algebras, as do the abelian groups, the ...

$C$, an embedding between two $C$-algebraic structures $X$ and $Y$ is a $C$-morphism that is injective.
Field theory

In field theory, an embedding of afield
Field may refer to:
Expanses of open ground
* Field (agriculture), an area of land used for agricultural purposes
* Airfield, an aerodrome that lacks the infrastructure of an airport
* Battlefield
* Lawn, an area of mowed grass
* Meadow, a grass ...

$E$ in a field $F$ is a ring homomorphism
In ring theory, a branch of abstract algebra, a ring homomorphism is a structure-preserving function between two rings. More explicitly, if ''R'' and ''S'' are rings, then a ring homomorphism is a function such that ''f'' is:
:addition preservi ...

.
The kernel
Kernel may refer to:
Computing
* Kernel (operating system), the central component of most operating systems
* Kernel (image processing), a matrix used for image convolution
* Compute kernel, in GPGPU programming
* Kernel method, in machine learnin ...

of $\backslash sigma$ is an ideal
Ideal may refer to:
Philosophy
* Ideal (ethics), values that one actively pursues as goals
* Platonic ideal, a philosophical idea of trueness of form, associated with Plato
Mathematics
* Ideal (ring theory), special subsets of a ring considere ...

of $E$ which cannot be the whole field $E$, because of the condition . Furthermore, it is a well-known property of fields that their only ideals are the zero ideal and the whole field itself. Therefore, the kernel is $0$, so any embedding of fields is a monomorphism
In the context of abstract algebra or universal algebra, a monomorphism is an injective homomorphism. A monomorphism from to is often denoted with the notation X\hookrightarrow Y.
In the more general setting of category theory, a monomorphism ...

. Hence, $E$ is isomorphic
In mathematics, an isomorphism is a structure-preserving mapping between two structures of the same type that can be reversed by an inverse mapping. Two mathematical structures are isomorphic if an isomorphism exists between them. The word is ...

to the subfield $\backslash sigma(E)$ of $F$. This justifies the name ''embedding'' for an arbitrary homomorphism of fields.
Universal algebra and model theory

If $\backslash sigma$ is asignature
A signature (; from la, signare, "to sign") is a handwritten (and often stylized) depiction of someone's name, nickname, or even a simple "X" or other mark that a person writes on documents as a proof of identity and intent. The writer of a ...

and $A,B$ are $\backslash sigma$-structures
A structure is an arrangement and organization of interrelated elements in a material object or system, or the object or system so organized. Material structures include man-made objects such as buildings and machines and natural objects such as ...

(also called $\backslash sigma$-algebras in universal algebra
Universal algebra (sometimes called general algebra) is the field of mathematics that studies algebraic structures themselves, not examples ("models") of algebraic structures.
For instance, rather than take particular groups as the object of study, ...

or models in model theory
In mathematical logic, model theory is the study of the relationship between formal theories (a collection of sentences in a formal language expressing statements about a mathematical structure), and their models (those structures in which the s ...

), then a map $h:A\; \backslash to\; B$ is a $\backslash sigma$-embedding iff
In logic and related fields such as mathematics and philosophy, "if and only if" (shortened as "iff") is a biconditional logical connective between statements, where either both statements are true or both are false.
The connective is bicon ...

all of the following hold:
* $h$ is injective,
* for every $n$-ary function symbol $f\; \backslash in\backslash sigma$ and $a\_1,\backslash ldots,a\_n\; \backslash in\; A^n,$ we have $h(f^A(a\_1,\backslash ldots,a\_n))=f^B(h(a\_1),\backslash ldots,h(a\_n))$,
* for every $n$-ary relation symbol $R\; \backslash in\backslash sigma$ and $a\_1,\backslash ldots,a\_n\; \backslash in\; A^n,$ we have $A\; \backslash models\; R(a\_1,\backslash ldots,a\_n)$ iff $B\; \backslash models\; R(h(a\_1),\backslash ldots,h(a\_n)).$
Here $A\backslash models\; R\; (a\_1,\backslash ldots,a\_n)$ is a model theoretical notation equivalent to $(a\_1,\backslash ldots,a\_n)\backslash in\; R^A$. In model theory there is also a stronger notion of elementary embedding In model theory, a branch of mathematical logic, two structures ''M'' and ''N'' of the same signature ''σ'' are called elementarily equivalent if they satisfy the same first-order ''σ''-sentences.
If ''N'' is a substructure of ''M'', one often ...

.
Order theory and domain theory

Inorder theory
Order theory is a branch of mathematics that investigates the intuitive notion of order using binary relations. It provides a formal framework for describing statements such as "this is less than that" or "this precedes that". This article intr ...

, an embedding of partially ordered set
In mathematics, especially order theory, a partially ordered set (also poset) formalizes and generalizes the intuitive concept of an ordering, sequencing, or arrangement of the elements of a Set (mathematics), set. A poset consists of a set toget ...

s is a function $F$ between partially ordered sets $X$ and $Y$ such that
:$\backslash forall\; x\_1,x\_2\backslash in\; X:\; x\_1\backslash leq\; x\_2\; \backslash iff\; F(x\_1)\backslash leq\; F(x\_2).$
Injectivity of $F$
follows quickly from this definition. In domain theory
Domain theory is a branch of mathematics that studies special kinds of partially ordered sets (posets) commonly called domains. Consequently, domain theory can be considered as a branch of order theory. The field has major applications in computer ...

, an additional requirement is that
:$\backslash forall\; y\backslash in\; Y:\backslash $ is directed
Director may refer to:
Literature
* ''Director'' (magazine), a British magazine
* ''The Director'' (novel), a 1971 novel by Henry Denker
* ''The Director'' (play), a 2000 play by Nancy Hasty
Music
* Director (band), an Irish rock band
* ''Di ...

.
Metric spaces

A mapping $\backslash phi:\; X\; \backslash to\; Y$ ofmetric spaces
In mathematics, a metric space is a set together with a notion of ''distance'' between its elements, usually called points. The distance is measured by a function called a metric or distance function. Metric spaces are the most general settin ...

is called an ''embedding''
(with distortion
In signal processing, distortion is the alteration of the original shape (or other characteristic) of a signal. In communications and electronics it means the alteration of the waveform of an information-bearing signal, such as an audio signal ...

$C>0$) if
:$L\; d\_X(x,\; y)\; \backslash leq\; d\_Y(\backslash phi(x),\; \backslash phi(y))\; \backslash leq\; CLd\_X(x,y)$
for every $x,y\backslash in\; X$ and some constant $L>0$.
Normed spaces

An important special case is that ofnormed spaces
In mathematics, a normed vector space or normed space is a vector space over the real or complex numbers, on which a norm is defined. A norm is the formalization and the generalization to real vector spaces of the intuitive notion of "length ...

; in this case it is natural to consider linear embeddings.
One of the basic questions that can be asked about a finite-dimensional normed space
In mathematics, a normed vector space or normed space is a vector space over the real or complex numbers, on which a norm is defined. A norm is the formalization and the generalization to real vector spaces of the intuitive notion of "length" i ...

$(X,\; \backslash ,\; \backslash cdot\; \backslash ,\; )$ is, ''what is the maximal dimension $k$ such that the Hilbert space
In mathematics, Hilbert spaces (named after David Hilbert) allow generalizing the methods of linear algebra and calculus from (finite-dimensional) Euclidean vector spaces to spaces that may be infinite-dimensional. Hilbert spaces arise natural ...

$\backslash ell\_2^k$ can be linearly embedded into $X$ with constant distortion?''
The answer is given by Dvoretzky's theorem In mathematics, Dvoretzky's theorem is an important structural theorem about normed vector spaces proved by Aryeh Dvoretzky in the early 1960s, answering a question of Alexander Grothendieck. In essence, it says that every sufficiently high-dimens ...

.
Category theory

Incategory theory
Category theory is a general theory of mathematical structures and their relations that was introduced by Samuel Eilenberg and Saunders Mac Lane in the middle of the 20th century in their foundational work on algebraic topology. Nowadays, cate ...

, there is no satisfactory and generally accepted definition of embeddings that is applicable in all categories. One would expect that all isomorphisms and all compositions of embeddings are embeddings, and that all embeddings are monomorphisms. Other typical requirements are: any extremal monomorphism is an embedding and embeddings are stable under pullback
In mathematics, a pullback is either of two different, but related processes: precomposition and fiber-product. Its dual is a pushforward.
Precomposition
Precomposition with a function probably provides the most elementary notion of pullback: in ...

s.
Ideally the class of all embedded subobject In category theory, a branch of mathematics, a subobject is, roughly speaking, an object that sits inside another object in the same category. The notion is a generalization of concepts such as subsets from set theory, subgroups from group theory,M ...

s of a given object, up to isomorphism, should also be small
Small may refer to:
Science and technology
* SMALL, an ALGOL-like programming language
* Small (anatomy), the lumbar region of the back
* ''Small'' (journal), a nano-science publication
* <small>, an HTML element that defines smaller text ...

, and thus an ordered set
In mathematics, especially order theory, a partially ordered set (also poset) formalizes and generalizes the intuitive concept of an ordering, sequencing, or arrangement of the elements of a set. A poset consists of a set together with a binary r ...

. In this case, the category is said to be well powered with respect to the class of embeddings. This allows defining new local structures in the category (such as a closure operator In mathematics, a closure operator on a set ''S'' is a function \operatorname: \mathcal(S)\rightarrow \mathcal(S) from the power set of ''S'' to itself that satisfies the following conditions for all sets X,Y\subseteq S
:
Closure operators are dete ...

).
In a concrete category
In mathematics, a concrete category is a category that is equipped with a faithful functor to the category of sets (or sometimes to another category, ''see Relative concreteness below''). This functor makes it possible to think of the objects of ...

, an embedding is a morphism $f:A\backslash rightarrow\; B$ which is an injective function from the underlying set of $A$ to the underlying set of $B$ and is also an initial morphism in the following sense:
If $g$ is a function from the underlying set of an object $C$ to the underlying set of $A$, and if its composition with $f$ is a morphism $fg:C\backslash rightarrow\; B$, then $g$ itself is a morphism.
A factorization system for a category also gives rise to a notion of embedding. If $(E,M)$ is a factorization system, then the morphisms in $M$ may be regarded as the embeddings, especially when the category is well powered with respect to $M$. Concrete theories often have a factorization system in which $M$ consists of the embeddings in the previous sense. This is the case of the majority of the examples given in this article.
As usual in category theory, there is a dual concept, known as quotient. All the preceding properties can be dualized.
An embedding can also refer to an embedding functor.
See also

*Closed immersion
In algebraic geometry, a closed immersion of schemes is a morphism of schemes f: Z \to X that identifies ''Z'' as a closed subset of ''X'' such that locally, regular functions on ''Z'' can be extended to ''X''. The latter condition can be formaliz ...

*Cover
Cover or covers may refer to:
Packaging
* Another name for a lid
* Cover (philately), generic term for envelope or package
* Album cover, the front of the packaging
* Book cover or magazine cover
** Book design
** Back cover copy, part of co ...

*Dimension reduction
Dimensionality reduction, or dimension reduction, is the transformation of data from a high-dimensional space into a low-dimensional space so that the low-dimensional representation retains some meaningful properties of the original data, ideally ...

*Immersion
Immersion may refer to:
The arts
* "Immersion", a 2012 story by Aliette de Bodard
* ''Immersion'', a French comic book series by Léo Quievreux#Immersion, Léo Quievreux
* Immersion (album), ''Immersion'' (album), the third album by Australian gro ...

*Johnson–Lindenstrauss lemma In mathematics, the Johnson–Lindenstrauss lemma is a result named after William B. Johnson and Joram Lindenstrauss concerning low-distortion embeddings of points from high-dimensional into low-dimensional Euclidean space. The lemma states that a ...

*Submanifold
In mathematics, a submanifold of a manifold ''M'' is a subset ''S'' which itself has the structure of a manifold, and for which the inclusion map satisfies certain properties. There are different types of submanifolds depending on exactly which p ...

* Subspace
*Universal space In mathematics, a universal space is a certain metric space that contains all metric spaces whose dimension is bounded by some fixed constant. A similar definition exists in topological dynamics.
Definition
Given a class \textstyle \mathcal of top ...

Notes

References

* * * * * * * * * * * * . * * .External links

*Embedding of manifolds

on the Manifold Atlas {{set index article Abstract algebra Category theory General topology Differential topology Functions and mappings Maps of manifolds Model theory Order theory