Epimorphismus/Kategorie/Kürzungseigenschaft/Definition

Epimorphismus

Ein Morphismus in einer Kategorie heißt Epimorphismus, wenn für jedes Objekt und Morphismen

aus der Gleichheit

die Gleichheit folgt.