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 |
Image of a morphism. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Image_of_a_morphism&oldid=12198