Image (category theory)

Given a category C and a morphism $f\colon X\to Y$ in C, the image of f is a monomorphism $h\colon I\to Y$ satisfying the following universal property:

There exists a morphism $g\colon X\to I$ such that $f=hg$ .
For any object Z with a morphism $k\colon X\to Z$ and a monomorphism $l\colon Z\to Y$ such that $f=lk$ , there exists a unique morphism $m\colon I\to Z$ such that $h=lm$ .

Remarks:

such a factorization does not necessarily exist
g is unique by definition of monic (= left invertible, abstraction of injectivity)
m is monic.
h=lm already implies that m is unique.

The image of f is often denoted by im f or Im(f).

Examples

In the category of sets the image of a morphism $f\colon X\to Y$ is the inclusion from the ordinary image $\{f(x)~|~x\in X\}$ to $Y$ . In many concrete categories such as groups, abelian groups and (left- or right) modules, the image of a morphism is the image of the correspondent morphism in the category of sets.

In any normal category with a zero object and kernels and cokernels for every morphism, the image of a morphism $f$ can be expressed as follows:

im f = ker coker f

In an abelian category (which is in particular binormal), if f is a monomorphism then f = ker coker f, and so f = im f.

References

Section I.10 of Mitchell, Barry (1965). Theory of categories. Pure and applied mathematics. 17. Academic Press. ISBN 978-0-124-99250-4. MR 0202787.

This article is issued from Wikipedia - version of the 8/24/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.

Image (category theory)

Examples

See also

References