命題
C を圏とする。
M を C の射からなる類(過去スレ017の323)とする。
C のM-単射的対象(過去スレ019の759)はM-絶対レトラクト(>>30)である。

証明
自明である。