>>53の修正

例
SUform を分離的(過去スレ006の213)な一様空間(過去スレ006の194)全体の圏とする。
Set を集合の圏とする。
U：SUform → Set を忘却関手と
即ち、U は各 X ∈ SUform に X の台集合を対応させるものである。
(SUform, U) を具象圏(>>794)とする。

M を SUform における埋め込み(過去スレ019の816) f：X → Y で f(X) が
Y において稠密となるような射の全体とする。

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