Left lifting property against monomorphisms

ID: left-lifting-property-against-monomorphisms

A map has this property if every commutative square with as its left side and a monomorphism as its right side has a diagonal filler . The filler is unique because is monic. This definition does not itself stipulate that is an epimorphism; binary products imply that conclusion by testing against the categorical diagonal.

New to topics? Read the docs here!