命題
FinAb を有限アーベル群全体の圏とする。
FinAb は十分多くの単射的対象(過去スレ019の796)を持たない。

証明
>>78より明らかである。