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