coequalizer

generalisation of quotient in category theory