Yoneda Lemma

Yoneda Lemma(米田引理)

陳述

設${\mathcal {C}}$為一範疇，定義兩個函子範疇如下：

${\mathcal {C}}^{\wedge }:=\mathrm {Fct} ({\mathcal {C}},\mathbf {Set} )$

${\mathcal {C}}^{\vee }:=\mathrm {Fct} ({\mathcal {C}}^{\mathrm {op} },\mathbf {Set} )$