Strong monomorphism (source code)

= Strong monomorphism
{wiki=Strong_monomorphism}

A strong monomorphism has the right lifting property with respect to every <epimorphism>. In every commutative square with an epimorphism on the left and the strong monomorphism on the right, there is a unique diagonal filler; uniqueness follows from monicity.