>>651の修正

定義
C を圏とする。
E を C の全射からなる類(過去スレ017の323)とする。
X を C の対象とする。
X の E-商対象(M-quotient object)とは対 (e, Y) のことを言う。
ここで e：X → Y は E-射(>>645)である。

E が C の全ての全射からなるとき
X の E-商対象は単に X の商対象(quotient object)と呼ばれる。

E が C の全ての正則全射(>>558)からなるとき
X の E-商対象は X の正則商対象(regular quotient object)と呼ばれる。

E が C の全ての極値的全射(>>580)からなるとき
X の E-商対象は X の極値的商対象(extremal quotient object)と呼ばれる。