Epimorphismus/Kategorie/Kürzungseigenschaft/Definition

Aus Wikiversity
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.