例
Top を位相空間全体の圏とする。
Set を集合全体の圏とする。
F：Top → Set を忘却関手とする。
* = {p} を１点からなる Top-対象とする。
(*, p) は関手 F の普遍元(過去スレ017の579)である。
よって、F は (*, p) により表現可能(過去スレ017の729)である。
よって、>>361より、Top における圏論的単射(過去スレ017の345)は
写像としての単射と一致する。