>>352の修正

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

このとき、f：X → Y が C において単射(過去スレ017の345)であるためには
F(f) が Set において単射であることが必要十分である。

証明
自明である。