米田の埋め込み定理
Set を小さい集合の圏とする。
C を局所的に小さい圏とする。
C^o を C の双対圏とする。
Func(C^o, Set) を C^o から Set への関手全体のなす圏とする。
X ∈ C に対して関手 Hom(−, X)：C^o → Set を h_X と書く。
X に h_X を対応させることにより
関手 h: C → Func(C^o, Set) が獲られる。
このとき h は充満忠実である。