Difference between revisions of "Yoneda Lemma"
Jump to navigation
Jump to search
(Created page with "==陳述== 設<math>\mathcal{C}</math>為一範疇，定義兩個函子範疇如下： : <math>\mathcal{C}^\wedge := \mathrm{Fct}(\mathcal{C}, \mathbf{...") |
|||
| Line 1: | Line 1: | ||
Yoneda Lemma(米田引理) | |||
==陳述== | ==陳述== | ||
設<math>\mathcal{C}</math>為一[[範疇 (數學)|範疇]]，定義兩個[[函子範疇]]如下： | 設<math>\mathcal{C}</math>為一[[範疇 (數學)|範疇]]，定義兩個[[函子範疇]]如下： | ||
: <math>\mathcal{C}^\wedge := \mathrm{Fct}(\mathcal{C}, \mathbf{Set})</math> | : <math>\mathcal{C}^\wedge := \mathrm{Fct}(\mathcal{C}, \mathbf{Set})</math> | ||
: <math>\mathcal{C}^\vee := \mathrm{Fct}(\mathcal{C}^{\mathrm{op}}, \mathbf{Set})</math> | : <math>\mathcal{C}^\vee := \mathrm{Fct}(\mathcal{C}^{\mathrm{op}}, \mathbf{Set})</math> | ||
