# 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.