coequalizer and epimorphism

1. Proposition

Let 20231221-coequalizer_and_epimorphism_760824120891fc757bc0445145b027d09b237baa.svg be a category

20231221-coequalizer_and_epimorphism_e7f215f3e4a4a31df722d512e909ba37f41a8eda.svg

a coequalizer

Then

20231221-coequalizer_and_epimorphism_d080181edba5edeabb1ffbb23359c448161fffaf.svg

is an epimorphism

2. Proof

dual to equalizer and monomorphism

Date: nil

Author: Anton Zakrewski

Created: 2024-10-13 So 23:55