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.