>>74の修正

定義
C を圏 D の部分圏とする。
F: C → D を包含関手とする。

F が同型的に密(>>76)のとき、
即ち、D の任意の対象 X に対して C の対象 Y で X と同型なものが存在するとき、
C は D において同型的に密(isomorphism-dense)であるという。