定義
C と D を圏とする。
F: C → D
を関手とする。

F が忠実(過去スレ017の360)で、F：Ob(C) → Ob(D) が単射のとき
F を埋め込み(embedding)と呼ぶ。