diff --git a/chapters/yoneda.tex b/chapters/yoneda.tex index e69de29..dc4393f 100644 --- a/chapters/yoneda.tex +++ b/chapters/yoneda.tex @@ -0,0 +1,4 @@ +\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)$ \ No newline at end of file diff --git a/main.pdf b/main.pdf index 559f6e0..fd1fa5b 100644 Binary files a/main.pdf and b/main.pdf differ diff --git a/main.tex b/main.tex index afa33a2..3511403 100644 --- a/main.tex +++ b/main.tex @@ -33,4 +33,5 @@ every edge/.style = {draw, -to} \include{./chapters/Grundlagen.tex} \include{./chapters/Kegel_und_Ko.tex} \include{./chapters/nat_trafo.tex} +\include{./chapters/yoneda.tex} \end{document} \ No newline at end of file