A strong epimorphism has the left lifting property with respect to every monomorphism. Thus every commutative square with the strong epimorphism on the left and a monomorphism on the right has a diagonal filler.
New to topics? Read the docs here!
New to topics? Read the docs here!