This page consider the very general concept of embeddings. For the special cases traditionally considered see at embedding of topological spaces or embedding of smooth manifolds.


Category theory

Higher category theory

higher category theory

Basic concepts

Basic theorems





Universal constructions

Extra properties and structure

1-categorical presentations



An embedding is, generally, a morphism which in some sense is an isomorphism onto its image

For this to make sense in a given category CC, we not only need a good notion of image. Note that it is not enough to have the image of f:XYf\colon X \to Y as a subobject imf\im f of YY; we also need to be able to interpret ff as a morphism from XX to imf\im f, because it is this morphism that we are asking to be an isomorphism.

As regular or effective monomorphisms


One general abstract way to define an embedding morphism is to say that this is equivalently a regular monomorphism.

If the ambient category has finite limits and colimits, then this is equivalently an effective monomorphism. In terms of this we recover a formalization of the above idea, that an embedding is an iso onto its image :

For a morphism f:XYf : X \to Y in CC the definition of image as an equalizer says that the image of ff is

imf:=lim (YY XY). im f := \lim_\leftarrow ( Y \stackrel{\to}{\to} Y \coprod_X Y) \,.

In particular we have a factorization of ff as

f:Xf˜imfY, f : X \stackrel{\tilde f}{\to} im f \hookrightarrow Y \,,

where the morphism on the right is a monomorphism.

The morphism ff being an effective monomorphism means that f˜\tilde f is an isomorphism, hence that ff is an “isomomorphism onto its image”.

In homotopy type theory

Let f:ABf: A \to B. Then ff is an embedding if for every x,y:Ax, y : A the function ap f:(x= Ay)(f(x)= Bf(y))ap_f: (x =_A y) \to (f(x) =_B f(y)) is an equivalence.


In TopTop

A morphism UXU \to X of topological spaces is a regular monomorphism precisely if this is an injection such that the topology on UU is the induced topology. This is an embedding of topological spaces.

In SmoothMfdSmoothMfd

Revised on May 24, 2017 11:56:07 by Urs Schreiber (