clara/category-theory
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

began yoneda chapter

Browse source
This commit is contained in:
CDaut 2022-11-04 11:53:28 +01:00 • committed by CDaut
parent 8608077522
commit 159805ad0a
3 changed files with 5 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

4
chapters/yoneda.tex
View file

@ -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)$