例
Uform を一様空間(過去スレ006の194)全体の圏とする。
M を埋め込み(過去スレ019の816) f：X → Y で f(X) が
Y において稠密となるような射の全体とする。

M は明らかに次の条件を満たす。
(1) M の全ての射は単射である。
(2) M は C の全ての同型射を含む。
(3) M は射の合成に関して閉じている。