Monomorphismus

Monomorphismus (von griechisch μόνος monos „ein, allein“ und μορφή morphé „Gestalt, Form“) ist ein Begriff aus den mathematischen Teilgebieten der Algebra und der Kategorientheorie. In der Algebra bezeichnet er einen Homomorphismus, der injektiv ist. In der Kategorientheorie verallgemeinert er den Begriff der injektiven Abbildung und erlaubt es, Objekte als Unterobjekte von anderen aufzufassen.

Man beachte, dass die universelle Algebra und die Kategorientheorie jeweils einen zu Monomorphismus dualen Begriff, nämlich den Epimorphismus, erklären, diese beiden Epimorphismus-Begriffe jedoch nicht äquivalent sind.