Universal property of the exponential object in category theory.
Ліцензування
Public domainPublic domainfalsefalse
Я, власник авторських прав на цю роботу, передаю роботу в суспільне надбання. Застосовується по всьому світу. У деяких країнах це не може бути юридично можливо, в такому випадку: Я даю кожному право на використання цієї роботи для будь-яких цілей, без будь-яких умов, якщо такі умови не вимагаються за законом.
TeX source
\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}
Підписи
Додайте однорядкове пояснення, що саме репрезентує цей файл