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.
Articles by others on the same topic
There are currently no matching articles.