העתקה טבעית – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
??? |
אין תקציר עריכה |
||
שורה 7:
אפשר לבטא את השוויון האחרון גם באמצעות [[דיאגרמה קומוטטיבית]]:
: [[קובץ:Natural_transformation.svg|175x175 פיקסלים]]
אם <math>F</math> ו-<math>G</math> שניהם פנקטורים קונטרה-וריאנטים, החצים האופקיים בתרשים הפוכים. אם <math>\eta</math> העתקה טבעית מ-<math>F</math> אל <math>G</math>, נהוג גם לכתוב <math>\eta:F\rightarrow G</math> או <math>\eta:F\Rightarrow G</math
אם לכל אובייקט <math>X</math> ב-<math>C</math>'', ''המורפיזם <math>\eta_X</math> הוא [[איזומורפיזם]] ב-<math>D</math>, אז <math>\eta</math> נקרא '''<span id="natural isomorphism">איזומורפיזם טבעי</span>''' (או '''איזומורפיזם של פנקטורים'''). שני פנקטורים <math>F</math> ו-<math>G</math> נקראים ''איזומורפיים'' אם קיים איזומורפיזם טבעי מ-<math>F</math> ל''-''<math>G</math>.
| |||