定義
C を圏とする。
E を C の全射からなる類(過去スレ017の323)とする。
X を C の対象とする。
(e, Y) と (e’, Y’) を X の M-商対象(>>653)とする。
同型 h：Y → Y’で e’= he となるものがあるとき
(e, Y) と (e’, Y’) は同型であると言う。