Epimorphism

A concept reflecting the algebraic properties of surjective mappings of sets. A morphism in a category is called an epimorphism if implies . In other words, an epimorphism is a morphism that can be cancelled on the right.

Every isomorphism is an epimorphism. The product of two epimorphisms is an epimorphism. Therefore, all epimorphisms of a category form a subcategory of (denoted by ).

In the categories of sets, vector spaces, groups, and Abelian groups, the epimorphisms are precisely the surjective mappings, i.e. the linear mappings and the homomorphisms of one set, vector space or group onto another set, vector space or group. However, in the categories of topological spaces or associative rings there are non-surjective epimorphisms (that is, mappings that are not "onto" ).

The concept of an epimorphism is dual to that of a monomorphism.

Comments

In the article above, are assumed to be morphisms for some . If composition of morphism is written from left to right, as is sometimes done, so that the composite of and is written , then epimorphisms are of course morphisms that cancel on the left.

The inclusion in the category of rings is an example of an epimorphism that is not surjective.

References

[a1]	B. Mitchell, "Theory of categories" , Acad. Press (1965)