Binary-product criterion for lifting-only strong epimorphisms

ID: binary-product-criterion-for-lifting-only-strong-epimorphisms

In a category with binary products in a category, a map with the left lifting property against monomorphisms is an epimorphism. If , lift the square with right side and bottom side . The two projections of its filler give . This argument does not require equalizers.

New to topics? Read the docs here!