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
Schreiben Sie uns!