monomorfizm

Monomorfizm – w teorii kategorii morfizm f\colon X \to Y mający lewostronną własność skracania w tym sensie, że dla wszystkich morfizmów g_1, g_2\colon Z \to X zachodzi

f \circ g_1 = f \circ g_2 \Rightarrow g_1 = g_2.[1].
Wielu autorów książek o algebrze abstrakcyjnej i uniwersalnej definiuje monomorfizm jako homomorfizm różnowartościowy (iniektywny). Każdy monomorfizm w ten sposób zdefiniowany jest monomorfizmem w sensie teorii kategorii; mimo wszystko istnieją kategorie, w których się one nie pokrywają. Pojęciem dualnym do monomorfizmu jest epimorfizm.