Discussion:Théorie des catégories

message: Je pense que l'art pour l'art véritable est très rare en maths, mais que de nombreux développements, parfois très abstraits, servent en interne à permettre de faire évoluer la discipline et à ouvrir la voie sur de nouveaux concepts qui eux serviront peut-être à résoudre des problèmes, éventuellement concrets. Il n'y a qu'à voir l'arsenal utilisé par Wiles pour faire tomber la conjecture de Fermat...
--Pdm 23 jan 2005 à 14:12 (CET)
thread_title:  L'art pour l'art, ou bien... 

message: Une partie de la phrase d'introduction m'échappe : « ...abstraction faite des objets qui possèdent ces structures ». Que faut-il y comprendre ? Qu'il n'existe pas de « Catégorie des catégories » ? Pourtant, si mes souvenirs sont exacts, cette catégorie existe et c'est bien la différence avec la théorie des ensembles. Je crois qu'il existe de même la « catégorie des foncteurs ». Merci de m'expliquer le sens de cette demi-phrase. LyricV (d) 26 décembre 2007 à 15:53 (CET)
replies: text: Article légèrement modifié dans ce sens. LyricV (d) 11 janvier 2008 à 20:39 (CET)
replies: text: Ça va faire 9 ans que la catégorie des catégories a eu son paradoxe de Russell. Résultat non homologué il est vrai (encore que je sois loin d'avoir lu tous les articles peer-reviewés sur ce sujet).--Michel421 (d) 14 avril 2008 à 15:40 (CEST)
replies: text:  J'arrive bien tard, mais j'en profite pour signaler que sans axiomatique formelle (à la Grothendieck, par exemple), la question n'a pas grand sens, et que dans toute axiomatique' de ce genre, on ne peut parler que de la catégorie des "petites" catégories ...--Dfeldmann (d) 13 mai 2010 à 11:50 (CEST)

text: oui, c'est ce que je disais à l'époque...--Dfeldmann (discuter) 19 octobre 2019 à 14:18 (CEST)
thread_title: Catégorie des catégories

message: Que se passe-t-il ? L'utilisateur "anonyme" qui a fourni une biblio raisonnable, puis l'a supprimé, peut-il s'en expliquer? --Dfeldmann (d) 13 mai 2010 à 11:50 (CEST)
replies: text: En tout cas, je trouve qu'un classement séparant les ouvrages historiques et ceux d'actualité serait le bienvenu. Cordialement.--LyricV (d) 13 mai 2010 à 17:55 (CEST)

text: Tu t'es tapé un boulot monstre à classer cette bibliographie balancée de façon irresponsable. Mais au final, c'est un catalogue d'ouvrages et d'articles de recherche, non exhaustif, constitué selon des critères obscurs (en tout cas pas énoncés).  Liu (d) 26 mai 2010 à 23:09 (CEST)
replies: text:  Oui, je suis d'accord (il faudrait peut-être le signaler en note). Mais c'est tout de même mieux de partir de là et de l'améliorer que de tout supprimer, non? En  fait, séparer espace encyclopédique et discussions est parfois délicat--Dfeldmann (d) 27 mai 2010 à 07:45 (CEST)
replies: text: Je pense qu'il faut supprimer purement et simplement. L'ajout était un copié-collé de http://plato.stanford.edu/entries/category-theory/#Bib, dont un guide de lecture se trouve dans http://plato.stanford.edu/entries/category-theory/bib.html. Liu (d) 27 mai 2010 à 22:13 (CEST)
replies: text:  Mmmm. C'est du copyvio? Ou simplement inutilisable tel quel, mais exploitable pour en tirer un truc potable?--Dfeldmann (d) 28 mai 2010 à 01:23 (CEST)
replies: text: Oui, copie intégrale.Liu (d) 28 mai 2010 à 23:39 (CEST)
thread_title:  Bibliographie 

message: Il y a plusieurs articles portant sur les catégories, mais avec des polices différentes pour les désigner, par exemple \mathcal ou \mathbf. Cela faciliterait la lecture si on utilisait la même police dans tous les articles. Personnellement, j'aurais une préférence pour \mathcal. Y a-t-il d'autres avis ? Theon (discuter) 11 septembre 2016 à 18:15 (CEST)
thread_title:  Polices 

message: Une catégorie est un graphe orienté particulier. Mais tout graphe orienté n'est pas une catégorie. Illustrer l'article principal sur les catégories par un graphe orienté qui N'EST PAS une catégorie (pas de loop), n'est donc pas pertinent. Je me suis donc autorisé à supprimer cette illustration non pertinente après avoir consulté les autres wp (anglais, alld, espagnol,...) où une telle confusion n'est entretenue nulle part. Et par cohérence avec Graphe (mathématiques discrètes) :"En théorie des catégories, une catégorie peut être représentée par un multigraphe orienté dont les sommets représentent les objets et les arêtes les morphismes." Cordialement, Stefan jaouen (discuter) 1 août 2022 à 07:47 (CEST)
thread_title:  suppression de l'illustration avec un graphe orienté