פונקטור – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
ישבק (שיחה | תרומות)
ישבק (שיחה | תרומות)
שורה 12:
* לכל זוג מורפיזמים <math>f:X \rightarrow Y</math> ו-<math>g:Y \rightarrow Z</math> מתקיים <math>F(g \circ f) = F(g) \circ F(f)</math>.
 
במילים אחרות, הפונקטור משמר את מורפיזם הזהות ואת פעולת הרכבת המורפיזמים (ולכן מהווה גם [[איזומורפיזם (מתמטיקה)|איזומורפיזם]]).