>>72の修正

定義
C を圏 D の充満(過去スレ017の403)な部分圏とする。
F: C → D を包含関手とする。

F が本質的に全射(過去スレ017の388)のとき、
即ち、D の任意の対象 X に対して C の対象 Y で X と同型なものが存在するとき、
C は D において同型密(isomorphism-dense)であるという。