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

このとき、f：X → Y を C における単射とすると
F(f) は D における単射である。

証明
自明である。