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.
New to topics? Read the docs here!