4 lines
No EOL
251 B
TeX
4 lines
No EOL
251 B
TeX
\section{Das Yoneda Lemma}
|
|
Sei $\mathcal{F}:\mathscr{C}\mapsto\cat{set}$ ein Funktor und $x\in\ob\mathscr{C}$. Dann gilt:\\
|
|
$\text{NatTrafo}(\mor{\mathscr{C}}{X}{\_}, \mathcal{F}(\_))\cong\mathcal{F}(X)$ mit\\
|
|
$\eta\xrightarrow{Yo}\eta_X(\text{id}_X)$ |