米田／淡中

米田埋め込み的なもの

1. 米田単元埋め込み $`a \mapsto \{a\}`$
2. 米田クロネッカー・デルタ $`a\mapsto \delta^a`$
3. 米田CPS変換 $`f \mapsto f^*`$
4. 米田ケーリー表現／米田ケーリー加群
5. 米田エルブラン・モデル

淡中埋め込み的なもの

1. 淡中単項フィルター
2. 淡中ゲルファント変換
3. 淡中ゾゾウスキ導分
4. 淡中ストーン双対