例
Ab をアーベル群全体の圏とする。
>>359と>>355より Ab における圏論的単射(過去スレ017の345)は
写像としての単射と一致する。