Lexikon der Mathematik: Epimorphismus, kategorieller
heißt ein Morphismus f : X → Y in einer Kategorie \({\mathcal{C}}\), falls für beliebige g1, g2 : Y → Z gilt: aus g1 ○ f = g2 ○ f folgt g1 = g2.
Dies bedeutet: f ist rechtskürzbar. In der Kategorie der Mengen sind die Epimorphismen genau die surjektiven Abbildungen.
Copyright Springer Verlag GmbH Deutschland 2017
Wenn Sie inhaltliche Anmerkungen zu diesem Artikel haben, können Sie die Redaktion per E-Mail informieren. Wir lesen Ihre Zuschrift, bitten jedoch um Verständnis, dass wir nicht jede beantworten können.