米田嵌入

米田嵌入是範疇論中的一種函子。

基本介紹

• 中文名：米田嵌入
• 外文名：Yoneda embedding
• 所屬學科：範疇論

定義

設為有小態射集的範疇，定義兩個函子範疇如下：

並定義米田嵌入為函子 與函子，定義為：

性質

米田嵌入為滿函子與忠實函子。