Soit C une catégorie avec produits et soient Y et Z des objets de C. L`objet exponentiel ZY peut être défini comme un morphisme universel du foncteur –×Y à Z. (Le foncteur –×Y de C dans C envoie l`objet X sur X×Y et le morphisme φ sur φ×idY). Trouvé sur https://fr.wikipedia.org/wiki/Objet_exponentiel
Aucun résultat n’a été trouvé dans l’encyclopédie.
Soit C une catégorie avec produits et soient Y et Z des objets de C. L`objet exponentiel ZY peut être défini comme un morphisme universel du foncteur –×Y à Z. (Le foncteur –×Y de C dans C envoie l`objet X sur X×Y et le morphisme φ sur φ×idY).