餘等化子
coequalizer
余等化子 - Wikipedia
同値関係 - Wikipedia#一般化
部分對象 (subobject)
圈論的雙對
は
商對象 (quotient object)
→
餘等化子
(coequalizer)
圈論的雙對
は
等化子