An Introduction to Homological Algebra
《An Introduction to Homological Algebra》 · 第 224 页 · Definition
Given \(f,g:B\to C\), their coequalizer is an ordered pair \((Z,e)\) with \(ef=eg\) universal with this property: every \(p:C\to X\) with \(pf=pg\) factors uniquely through \(e\).