diagram and pasting epimorphism

1. Proposition

Let 20231115-pasting_diagram_and_epimorphism_760824120891fc757bc0445145b027d09b237baa.svg be a category, 20231115-pasting_diagram_and_epimorphism_2f45efa620434a1c03713e6c4cc5527b5f5312bb.svg a monomorphism and

20231115-pasting_diagram_and_epimorphism_00f27ebaadb6673d5c9612a27b64f426459533b8.svg

a diagram, such that

20231115-pasting_diagram_and_epimorphism_84e445dfb5070ce0edcb5cf127469e58f6100bf5.svg

then

20231115-pasting_diagram_and_epimorphism_43bdf013df52e96cc3dae28983c65e0c244c215d.svg

already commutes

2. Proof

definition of an epimorphism

Date: nil

Author: Anton Zakrewski

Created: 2024-10-13 So 19:13