Diagramme (théorie des catégories)
En théorie des catégories, un diagramme est une collection d'objets et de flèches d'une catégorie donnée. La théorie des catégories commence avec l'observation que de nombreuses propriétés mathématiques peuvent être unifiées et simplifiées par une représentation avec des diagrammes de flèches[1].
Exemple
modifier
En principe, un diagramme n'est pas un objet mathématique mais seulement une figure, destinée à faciliter la lecture d'un raisonnement. En pratique, on se sert souvent des diagrammes comme de symboles abréviateurs, qui évitent de nommer tous les objets et les flèches que l'on veut considérer; on dit souvent "considérons le diagramme ci-dessus" au lieu de dire par exemple dans la catégorie des ensembles: "considérons quatre ensembles et une application de dans ..."[2]
références
modifier- Saunders Mac Lane, Categories for the working mathematician, Springer, coll. « Graduate texts in mathematics », , p. 1
- Nicolas Bourbaki, Algèbre commutative, chapitre I, module plat, Paris, Hermann (maison d'édition), , 185 p., p. 14
