Discussion:Transformation naturelle
- Admissibilité
- Neutralité
- Droit d'auteur
- Article de qualité
- Bon article
- Lumière sur
- À faire
- Archives
- Commons
Tout ou partie de cet article est issu de la traduction de l'article sous licence CC-BY-SA « (en) Natural transformation » dans sa version du 15 mai 2007 à 21:15.
Consultez l'historique de la page originale pour connaître la liste de ses auteurs.
Cet article est indexé par le projet Mathématiques.
Les projets ont pour but d’enrichir le contenu de Wikipédia en aidant à la coordination du travail des contributeurs. Vous pouvez modifier directement cet article ou visiter les pages de projets pour prendre conseil ou consulter la liste des tâches et des objectifs.
| Avancement | Importance | pour le projet | |
|---|---|---|---|
| Ébauche | À évaluer |  | Mathématiques (discussion • critères • liste • stats • hist. • comité • stats vues) |
Cet article ne comporte pas de liste de tâches suggérées. Vous pouvez saisir une liste de tâches à accomplir (par exemple sous forme d'une liste à puces), puis sauvegarder. Vous pouvez aussi consulter la page d'aide.
J’ai « inventé » une définition équivalente (en fait, j’imagine qu’elle est bien connue, mais je n’ai jamais trouvé de référence dessus).
Je vois aussi η comme une application de X→Y vers (F X)→(G Y) qui vérifie η(f∘g) = η(f)∘(F g) et η(f∘g) = (G f)∘η(g).
La définition usuelle est alors η(id(X)) et réciproquement, on peut montrer que ma définition correspond à (G f)∘η.
Comme je n’ai aucune source là dessus, ce n’est pas présentable dans un article Wikipedia. Par contre si on trouve des sources, ça peut y avoir sa place. Sedrikov (d)
Terminologie[modifier le code]
Personnellement, je ne suis pas fanatique des termes "normal", "naturel" qui 1) sont flous parce que 2) trop utilisés, en particulier par les anglo-saxons. Ici, les morphismes sont "fonctoriels" parce qu'ils ont trait aux foncteurs, à distinguer de morphismes "canoniques" qui ne dépendent d'aucun choix. Je sais bien que le franglais se répand, mais le français existe encore.
De plus, dans la définition du morphisme, on doit écrire "tel que..." et non pas "telle que..." (on parle du morphisme). JC.Raoult (discuter) 23 octobre 2017 à 11:44 (CEST)
- La seule source didactique que je connaisse en français est le livre de Ehresmann, Catégories et foncteurs, où j’ai appris cette terminologie. Si vous en connaissez une autre...—Dfeldmann (discuter) 23 octobre 2017 à 12:02 (CEST)