Abbildungsdiagramm/Kommutatives Diagramm/Definition

Kommutatives Diagramm

Man sagt, dass ein Abbildungsdiagramm $(M_i,F_{\lambda })$ kommutiert (oder dass ein kommutatives Diagramm vorliegt), wenn für je zwei Indizes $i,j\in I$ jede aus den $F_{\lambda }$ konstruierbare Abbildungskomposition von $M_i$ nach $M_j$ gleich ist.