Monomorphismus

Ein Morphismus m: A → B in einer Kategorie, der links-kürzbar ist: Für je zwei parallele Morphismen g,h mit derselben Quelle gilt mg = mh ⇒ g = h. Er verallgemeinert die Idee einer injektiven struktur-erhaltenden Abbildung in konkreten Kategorien.