Monomorphismus/Kategorie/Kürzungseigenschaft/Definition

Monomorphismus

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

aus der Gleichheit

die Gleichheit folgt.