Wiki. 米田嵌入 [米田嵌入]

观念

米田嵌入是将范畴 $\mathcal C$ 中的对象视为 $\mathcal C$ 上的预层的过程.

见米田引理.