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!