例
Grp を群全体の圏とする。
>>350と>>355より Grp における圏論的単射は写像としての単射と一致する。