Aller au contenu

Discussion:Objet initial et objet final

Le contenu de la page n’est pas pris en charge dans d’autres langues.
Une page de Wikipédia, l'encyclopédie libre.
Autres discussions [liste]
  • Admissibilité
  • Neutralité
  • Droit d'auteur
  • Article de qualité
  • Bon article
  • Lumière sur
  • À faire
  • Archives
  • Commons

Mac Lane, dans "Categories for the Working Mathematician", p. 76, dit "the bold step of really formulating the general notion of a universal arrow was taken by Samuel in 1948; the general notion was then lavishly popularized by Bourbaki". Il n'ajoute rien concernant une utilisation antérieure par Eilenberg ou lui-même des flèches ou problèmes universels. Y a-t-il une référence indiquant l'introduction de la notion de problème universel par Eilenberg-Mac Lane en 1943? Nicohomologie (d) 7 mars 2008 à 17:37 (CET)[répondre]

Renommage

[modifier le code]

Le contenu de l'article porte exclusivement sur les objets initiaux et finaux. Je propose donc de renommer l'article en "Objet initial et objet final", de rediriger vers la présente page les articles qui parlent bien d'objet initial ou final, mais de rediriger "Problème universel" vers Propriété universelle (ce dernier article demandant par ailleurs également une remise en forme).Theon (discuter) 23 janvier 2017 à 11:00 (CET)[répondre]

Renommage effectué. Theon (discuter) 2 avril 2019 à 09:40 (CEST)[répondre]

style non encyclopédique de l'introduction

[modifier le code]

Prétendre introduire la notion d'objet initial en renvoyant immédiatement à l'article abscons Problème universel n'est pas très sympathique pour l'éventuel lecteur naïf qui voudrait s'informer sur la notion. Il y a justement dans la notion d'objet initial l'occasion d'introduire la notion de propriété universelle. C'est ce que fait Tom Leinster dans https://arxiv.org/pdf/1612.09375.pdf (exemple 0.2, lemme 0.3). C'est fait ailleurs dans d'autres articles wp ou dans des paragraphes mais on peut mieux faire ici, non? Cordialement, Stefan jaouen (discuter) 3 août 2022 à 18:50 (CEST)[répondre]