定義
C を圏とする。
M を C の単射からなる類(過去スレ017の323)とする。
X を C の対象とする。
(Y, m) と (Y’, m’) を X の M-部分対象(>>646)とする。

同型 h：Y → Y’で m = m’h となるものがあるとき
(Y, m) と (Y’, m’) は同型であると言う。