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!