No higher resolution available.
This file is from Wikimedia Commons and may be used by other projects.
The description on its file description page there is shown below.
File:Yoneda lemma cd.svg is a vector version of this file. It should be used in place of this PNG file when not inferior.
Summary
Proof of Yoneda's lemma in category theory.
Licensing
Public domain Public domain false false
I, the copyright holder of this work, release this work into the public domain . This applies worldwide.In some countries this may not be legally possible; if so: I grant anyone the right to use this work for any purpose , without any conditions, unless such conditions are required by law.
TeX source
\begin{diagram}[tight]
\Hom(A,A) & & \rTo^{\Hom(A,f)} & & \Hom(A,X) \\
& \scriptstyle\id_A & \rMapsTo & \scriptstyle f & \\
\dTo<{\Phi_A} & \dMapsTo & & \dMapsTo & \dTo>{\Phi_X} \\
& \scriptstyle u & \rMapsTo & \scriptstyle (Ff)u = \Phi_X(f) & \\
F(A) & & \rTo_{Ff} & & F(X) \\
\end{diagram}
English Add a one-line explanation of what this file represents
File history
Click on a date/time to view the file as it appeared at that time.
Date/Time Thumbnail Dimensions User Comment
current 05:37, 27 September 2005 272 × 235 (6 KB) wikimediacommons>Fropuff~commonswiki Proof of Yoneda's lemma in category theory.
File usage
There are no pages that use this file.