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