Epimorphismus

Das Wort Epi­mor­phis­mus besteht aus 4 Silben.

Wieso sollte man das Wort Epi­mor­phis­mus trennen? Wörter werden haupt­sächlich aus öko­no­mi­schen also Platz­spar­en­den Grün­den getrennt dazu stehen uns bei "Epi­mor­phis­mus" 3 Trenn­stel­len zur Ver­fü­gung. Ein anderer Grund sind äs­the­tische Grün­de wie et­wa eine Seite mit Hilfe des Block­satzes möglichst gleich­mä­ßig zu füllen.

Ein Epimorphismus ist ein Begriff aus der Algebra, insbesondere aus der Kategorientheorie. Er bezeichnet eine spezielle Art von Morphismus zwischen zwei Objekten in einer Kategorie, der in gewissem Sinne „surjektiv“ ist. Genauer gesagt, ein Morphismus ( f: A o B ) ist ein Epimorphismus, wenn für jede zwei Morphismen ( g_1, g_2: B o C ) gilt, dass ( g_1 circ f = g_2 circ f ) nur dann bedeutet, dass ( g_1 = g_2 ). Dies spiegelt die Idee wider, dass ( f ) alle „Informationen“ von ( A ) zu ( B ) überträgt, ähnlich einer surjektiven Funktion in der Mengenlehre.

Beispielsatz: Ein Epimorphismus ist in der Mathematik ein spezieller Morphismus, der in einer Kategorie als surjektiv gilt, ähnlich wie eine surjective Funktion.