Ця математична ілюстрація має бути конвертована у векторний формат SVG. Це дає декілька переваг, докладніше про які Ви можете прочитати на сторінці Commons:Media for cleanup. Якщо Вам вже зараз доступна векторна версія даного зображення, завантажте її, будь ласка. Після завантаження замініть цей шаблон на такий: {{vector version available|Назва_завантаженого_файлу.svg}}.

Proof of Yoneda's lemma in category theory.

Я, власник авторських прав на цю роботу, передаю роботу в суспільне надбання. Застосовується по всьому світу. У деяких країнах це не може бути юридично можливо, в такому випадку: Я даю кожному право на використання цієї роботи для будь-яких цілей, без будь-яких умов, якщо такі умови не вимагаються за законом.

\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}