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

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