In de
wiskunde en vooral in de
categorietheorie is een
commutatief diagram een
diagram van objecten, ook wel bekend als
hoekpunten (vertices) en van
morfismen, ook bekend als
pijlen of
randen, zodanig dat wanneer er twee objecten worden geselecteerd elk gericht pad door het diagram door
samenstelling tot hetzelfde resultaat leidt.
Commutatieve diagrammen spelen dezelfde rol in de categorietheorie die
vergelijkingen spelen in de
algebra.