WikiDer > Normaler Morphismus

In dem Kategorientheorie und seine Anwendungen innerhalb der Mathematik ist ein normaler Monomorphismus oder normaler Epimorphismus ein sehr gut erzogener typ Morphismus. EIN normale Kategorie ist ein Kategorie, in dem alle Monomorphismen sei normal.

Definition

Eine Kategorie C Muss Nullmorphismen ansonsten macht der Begriff der Normalität keinen Sinn. In diesem Fall sagen wir, dass a Monomorphismusnormal ist wie es Ader hat einen gewissen Morphismus, und wir sagen, dass a Epimorphismusnormal (oder normal), wenn es das ist Koker eines beliebigen Morphismus.

C ist selbst normal wenn jeder Monomorphismus normal ist.C ist normal falls ein Epimorphismus normal ist Cbinnormal wenn C ist sowohl normal als auch normal. Beachten Sie jedoch, dass einige Autoren das Wort "normal" verwenden, um darauf hinzuweisen C ist binnormal.