Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
yoneda_embedding [2015/03/14 01:08] nikolaj |
yoneda_embedding [2015/03/14 01:09] nikolaj |
||
|---|---|---|---|
| Line 22: | Line 22: | ||
| == Nationality of the fmap == | == Nationality of the fmap == | ||
| - | Let $f: A\to B$ and $g: X\to Y$, | + | Let $g: X\to Y$ and $f: A\to B$. |
| - | then the relevant square is | + | Here $f$ gives rise to a natural transformation as seen in the following square |
| $h: \mathrm{Hom}(Y,A)$ ... $f\circ h : \mathrm{Hom}(Y,B)$ | $h: \mathrm{Hom}(Y,A)$ ... $f\circ h : \mathrm{Hom}(Y,B)$ | ||
