定義
F: C → D を関手とする。
F が本質的に全射(過去スレ017の388)であることを、
同型的に密(isomorphism-dense)であるともいう。
即ち、任意の Y∈ Ob(D) に対して X ∈ Ob(C) で F(X) が Y と同型となるものが
存在するとき F を同型的に密と言う。