Epimorphismus

Ein Morphismus e: A → B, der rechts-kürzbar ist: Für je zwei parallele Morphismen g,h mit demselben Ziel gilt ge = he ⇒ g = h. Er abstrahiert die Idee einer surjektiven struktur-erhaltenden Abbildung in vielen konkreten Kategorien, ist jedoch kategorienabhängig.