>>348の修正

命題
Set を集合全体の圏(過去スレ017の342)とする。
F：C → Set を表現可能(過去スレ017の729)な関手とする。

このとき、f：X → Y を C における単射であるためには
F(f) が Set における単射であることが必要十分である。

証明
自明である。