epimorphism
suomi-englanti sanakirjaepimorphism englanniksi
A morphism ''p'' such that for any other pair of morphisms ''f'' and ''g'', if f \circ p = g \circ p, then ''f'' = ''g''.
A morphism ''p'' such that for any other pair of morphisms ''f'' and ''g'', if f \circ p = g \circ p, then ''f'' = ''g''.