Image of a morphism

of a category

A concept similar to that of the image of a mapping of one set into another. However, in category theory there are several approaches to defining this concept. The simplest approach is closely related to the concept of a bicategory. Suppose that in the category there exists a bicategory structure , where is the class of admissible epimorphisms and the class of admissible monomorphisms. If is an arbitrary morphism in and is an admissible factorization of , that is, , , then the subobject of the object defined by the monomorphism is called the (admissible) image of the morphism (relative to the given bicategory structure). If there is a unique bicategory structure in , then one may speak of the image of the morphism . In particular, in the categories of sets, groups or vector spaces over a field, the definition stated above reduces to the usual definition of the image of a mapping or homomorphism.

On the other hand, if there are several bicategory structures in , then a given morphism may have different images relative to the different structures. This occurs, for example, in the categories of topological spaces and associative rings.

The following is another approach to the definition of the image of a morphism. One says that a morphism factors through a subobject of the object if can be written in the form . The smallest subobject of through which can be factored, if it exists, is called the image of . If is well-powered and has limits of families of monomorphisms with a common codomain, then every morphism in has an image.

If there is a bicategory structure in in which all monomorphisms are admissible, then the second definition of the image of a morphism is equivalent to the definition by means of the given bicategory structure.

The image of a morphism is usually denoted by ; denotes any representative of the subobject .

Comments

If the category has pull-backs, the converse of the assertion in the penultimate paragraph above holds: The existence of images (in the second sense) implies that the class of all monomorphisms forms one half of a factorization ( "bicategory" ) structure on , the other half being the class of extremal epimorphisms (i.e. those which do not factor through any proper subobject of their codomain). Image factorizations (in the second sense) play a role in the theory of regular categories [a1]; indeed, the simplest definition of a regular category is as a category with finite limits and images in which image factorizations are stable under pull-back.

References

[a1]	P.A. Grillet, "Regular categories" , Exact categories and categories of sheaves , Lect. notes in math. , 236 , Springer pp. 121–222