Эту математическую иллюстрацию желательно воссоздать или аккуратно преобразовать в векторный формат SVG. Это даёт несколько преимуществ, прочитать о которых подробнее вы можете на странице Commons:Media for cleanup. Если вам уже сейчас доступна векторная версия данного изображения, загрузите её, пожалуйста, а затем замените этот шаблон на следующий: {{Vector version available|Имя загруженного файла.svg}}.

Краткое описание

Proof of Yoneda's lemma in category theory.

Лицензирование

Я, владелец авторских прав на это произведение, передаю его в общественное достояние. Это разрешение действует по всему миру. В некоторых странах это не может быть возможно юридически, в таком случае: Я даю право кому угодно использовать данное произведение в любых целях без каких-либо условий, за исключением таких условий, которые требуются по закону.

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}