Image:FunctorCone-03.png

[edit] Summary

Commutative diagram illustrating a universal cone (or a limit in category). Can also be used to any depict a morphism of cones.

[edit] Licensing

I, the copyright holder of this work, hereby release it into the public domain. This applies worldwide. In case this is not legally possible: I grant anyone the right to use this work for any purpose, without any conditions, unless such conditions are required by law. Afrikaans | Alemannisch | Aragonés | العربية‎ | Български | Català | Česky | Cymraeg | Dansk | Deutsch | Ελληνικά | English | Español | Esperanto | Euskara | فارسی‎ | Français | Galego | 한국어 | हिन्दी | Hrvatski | Ido | Bahasa Indonesia | Íslenska | Italiano | עברית‎ | Kurdî / كوردي | Latina | Lietuvių | Magyar | Bahasa Melayu | Nederlands | Norsk (bokmål) | Norsk (nynorsk) | 日本語 | Polski | Português | Ripoarish | Română | Русский | Shqip | Slovenčina | Slovenščina | Српски | Svenska | ไทย | Türkçe | Українська | Tiếng Việt | Walon | 简体中文 | 繁體中文 | 粵語 | +/-

[edit] TeX source

\begin{diagram}
& & N & & \\
& \ldTo(2,4)^{\psi_X} & \dDashTo~u &\rdTo(2,4)^{\psi_Y} & \\
& & L & & \\
& \ldTo(2,2)_{\makebox[5pt]{$\phi_X$}} & & \rdTo(2,2)_{\makebox[0pt]{$\phi_Y$}} & \\
F(X) & & \rTo_{F(f)} & & F(Y) \\
\end{diagram}