This math image could be re-created using vector graphics as an SVG file. This has several advantages; see Commons:Media for cleanup for more information. If an SVG form of this image is available, please upload it and afterwards replace this template with {{vector version available|new image name}}. It is recommended to name the SVG file “Dinatural transfo1.svg”—then the template Vector version available (or Vva) does not need the new image name parameter.

Transferred from en.wikipedia to Commons by Maksim.

Summary edit

Commutative diagram defining a dinatural transformation.

Licensing edit

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 edit

\documentclass{article}
\usepackage{xy}
\xyoption{all}

\begin{document}
\[
\xymatrix{
  &S(c,c)\ar[r]^{\alpha_c}&T(c,c)\ar[dr]^{T(1,f)}&\\
  S(c',c)\ar[ur]^{S(f,1)}\ar[dr]_{S(1,f)}&&&T(c,c')\\
  &S(c',c')\ar[r]_{\alpha_{c'}}&T(c',c')\ar[ur]_{T(f,1)}&
}
\]
\end{document}

Original upload log edit

Legend: (cur) = this is the current file, (del) = delete this old version, (rev) = revert to this old version.

Click on date to download the file or see the image uploaded on that date.

• (del) (cur) 13:03, 28 January 2006 . . en:User:Smimram Smimram ( en:User_talk:Smimram Talk) . . 450x197 (4996 bytes) ( \xymatrix{ &S(c,c)\ar[r]^{ \alpha_c }&T(c,c)\ar[dr]^{ T(1,f) }&\\ S(c',c)\ar[ur]^{ S(f,1) }\ar[dr]_{ S(1,f) }&&&T(c,c')\\ &S(c',c')\ar[r]_{ \alpha_{ c' } }&T(c',c')\ar[ur]_{ T(f,1) }& })
• (del) (rev) 13:01, 28 January 2006 . . en:User:Smimram Smimram ( en:User_talk:Smimram Talk) . . 450x1154 (8240 bytes) (\documentclass{ article } \usepackage{ xy } \xyoption{ all } \begin{ document } \[ \xymatrix{ &S(c,c)\ar[r]^{ \alpha_c }&T(c,c)\ar[dr]^{ T(1,f) }&\\ S(c',c)\ar[ur]^{ S(f,1) }\ar[dr]_{ S(1,f) }&&&T(c,c')\\ &S(c',c')\ar[r]_{ \alpha_{ c' } }&T(c',c')\ar[ur]_{ T(f,1) }& } \)