商对象

商对象(quotient object)是商代数系概念的推广。它是子对象的对偶概念。设A，B为范畴C的两个对象。若有满态射π：A→B，则称B为A的商对象。商对象(quotient object)是商代数系概念的推广。它是子对象的对偶概念。设A，B为范畴C的两个对象。若有满态射π：A→B，则称B为A的商对象。例如在环范畴中，若π：R→S为环的满同态，则ker π为R的理想且SR/ker π，即S在同构意义下为R的商环。用范畴语言讲，即S为R的商对象。