Monomorphismus/Kategorie/Kürzungseigenschaft/Definition

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Monomorphismus

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

aus der Gleichheit

die Gleichheit folgt.