Epimorphismus/Kategorie/Kürzungseigenschaft/Definition
Zur Navigation springen
Zur Suche springen
Epimorphismus
Ein Morphismus in einer Kategorie heißt Epimorphismus, wenn für jedes Objekt und Morphismen
aus der Gleichheit
die Gleichheit folgt.