Image:Natural trafo.png

Diagram illustrating the defining property of natural transformations, produced with the TeX package XYpic using the following source code. Both the image and the source code are released into the public domain.

This image is an exact duplicate or scaled-down version of: Image:NaturalTransformation-01.png There should be only one copy of an image. After replacing all instances with the preferred image, the others should be speedily deleted. * [[:Image:Natural trafo.png]]  [[Image:NaturalTransformation-01.png]] If you are the uploader of this file, and it's not yet used on other projects (check usage), consider using {{badname}} Admins: Follow the directions on Commons:Deletion guidelines Do not delete this page until all uses have been replaced! Only use for images that are exact duplicates! When deleting, use this reason: duplicate or a scaled down version of [[:Image:NaturalTransformation-01.png]] Dansk | Deutsch | English | Español | Français | हिन्दी | Italiano | 日本語 | Português | Svenska | +/-

This image is ineligible for copyright and therefore in the public domain, because it consists entirely of information that is common property and contains no original authorship. العربية | Afrikaans | Česky | Dansk | Deutsch | English | Esperanto | Español | Français | हिन्दी | Italiano | 日本語 | 한국어 | Nederlands | Norsk (nynorsk) | Polski | Português | Русский | Swedish | Türkçe | 简体中文 | 正體中文 | +/-

[edit] Source

Copied from en:Image:Natural_trafo.png, there provied by en:User:AxelBoldt as PD (own creation), contains minor changes by User:Fropuff.

% Produce a postscript file from this input with tex and dvips.

% Loading the XY-Pic package:
\input xy
\xyoption{all}

% Using postscript driver for smoother curves
\xyoption{ps}
\xyoption{dvips}

% No need for page numbers
\nopagenumbers

$$
\xymatrix{ %Our diagram is a 2x2 matrix
 F(X)\ar[d]_{\eta_X}\ar[r]^{F(f)} & F(Y)\ar[d]^{\eta_Y}\\
 G(X)\ar[r]^{G(f)}                & G(Y) 
}
$$

\end