דיאגרמה (תורת הקטגוריות) – הבדלי גרסאות

בננב[[קטגוריה (מתמטיקה)|תורת הקטגוריות]] וביישומיה השונים, ובתחומי מתמטיקה אחרים, '''דיאגרמה''' היא תרשים גרפי הכולל אובייקטים ו[[מורפיזם|פונקציות]], שבו מיוצגות הפונקציות באמצעות חצים המוליכים מאובייקט לאובייקט. דיאגרמה כזו היא '''דיאגרמה קומוטטיבית''' אם ה[[הרכבת פונקציות|הרכבה]] של הפונקציות לאורך מסלול המוליך מאובייקט X לאובייקט Y נותנת אותה תוצאה בכל המסלולים. לדוגמה, בדיאגרמה

מופיע אובייקט אחד, A, ושני חצים, f,g המייצגים פונקציות מ- A ל- A (או, בתחילה באופן כללי יותר, [[מורפיזם|מורפיזמים]] בקטגוריה המתאימה). במקרה כזה, הדיאגרמה קומוטטיבית אם ורק אם הפונקציות מתחלפות: <math>\ f\circ g = g\circ f</math>.