例
R を必ずしも可環とは限らない環とし、R-Mod を左 R-加群全体の圏とする。
Set を集合全体の圏とする。
F：R-Mod → Set を忘却関手とする。
(R, 1) は関手 F の普遍元(過去スレ017の579)である。
よって、F は (R, 1) により表現可能(過去スレ017の729)である。
よって、>>361より、R-Mod における圏論的単射(過去スレ017の345)は
写像としての単射と一致する。