File:ExponentialObject-01.png

From Wikimedia Commons, the free media repository
Jump to navigation Jump to search

ExponentialObject-01.png(231 × 121 pixels, file size: 3 KB, MIME type: image/png)

Captions

Captions

Add a one-line explanation of what this file represents

Summary

[edit]

Universal property of the exponential object in category theory.

Licensing

[edit]
Public domain 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]
\begin{diagram}
X & & X\times Y & & \\
\dDashTo<{\lambda g} &  & \dDashTo<{\lambda g \times \id_Y} & \rdTo^g & \\
Z^Y & & Z^Y\times Y & \rTo_{\;\operatorname{eval}} & Z \\
\end{diagram}

File history

Click on a date/time to view the file as it appeared at that time.

Date/TimeThumbnailDimensionsUserComment
current18:43, 23 September 2005Thumbnail for version as of 18:43, 23 September 2005231 × 121 (3 KB)Fropuff~commonswiki (talk | contribs)Universal property of the exponential object.

The following page uses this file:

File usage on other wikis

The following other wikis use this file: