Diagramme (théorie des catégories)

Un article de Wikipédia, l'encyclopédie libre.
Sauter à la navigation Sauter à la recherche

En théorie des catégories, un diagramme est une collection d'objets et de morphismes indexée par une catégorie donnée.