>>356の修正

例
Grp を群全体の圏とする。
>>350と>>361より Grp における圏論的単射は写像としての単射である。
逆に写像としての単射は明らかに圏論的単射(過去スレ017の345)である。