Epimorphismus

Epimorphismus (von griechisch ἐπί epi „auf“ und μορφή morphē „Gestalt, Form“) ist ein Begriff aus den mathematischen Teilgebieten der Algebra und der Kategorientheorie. In der universellen Algebra bezeichnet er einen Homomorphismus, der surjektiv ist. In der Kategorientheorie ist Epimorphismus der duale Begriff zu Monomorphismus und verallgemeinert den (mengentheoretischen) Begriff der surjektiven Abbildung.

Äquivalent sind die beiden Begriffe zumindest in den folgenden Fällen:

• Vektorräume oder allgemeiner Moduln
• (abelsche) Gruppen