Zum Inhalt springen

Monomorphismus/Kategorie/Kürzungseigenschaft/Definition

Aus Wikiversity
Monomorphismus

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

aus der Gleichheit

die Gleichheit folgt.