商对象

商对象(quotient object)是商代数系概念的推广。它是子对象的对偶概念。设A，B为范畴C的两个对象。若有满态射π：A→B，则称B为A的商对象。