Une version vectorielle de cette image existe, dans le format « SVG ». Si elle n’est pas inférieure, elle devrait être utilisée à la place de la présente version pour des affichages en plus grandes dimensions ou nécessitant une meilleure résolution.
Universal property of the exponential object in category theory.
Conditions d’utilisation
Public domainPublic domainfalsefalse
Moi, propriétaire des droits d’auteur sur cette œuvre, la place dans le domaine public. Ceci s'applique dans le monde entier. Dans certains pays, ceci peut ne pas être possible ; dans ce cas : J’accorde à toute personne le droit d’utiliser cette œuvre dans n’importe quel but, sans aucune condition, sauf celles requises par la loi.
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}
Légendes
Ajoutez en une ligne la description de ce que représente ce fichier