פונקטור – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
Matanyabot (שיחה | תרומות) מ בוט החלפות: על ידי |
מ תיקון קישור |
||
שורה 7:
==הגדרה פורמלית==
יהיו <math>\mathcal{C}</math> ו- <math>\mathcal{D}</math> שתי [[קטגוריה (מתמטיקה)|קטגוריות]]. '''פונקטור''' קו-וריאנטי ''F'' מ-<math>\mathcal{C}</math> ל-<math>\mathcal{D}</math> הוא המידע הבא:
* לכל אובייקט <math>X \in \mathcal{C}</math> קיים אובייקט <math>FX \in \mathcal{D}</math>.
* לכל מורפיזם <math>f:X \rightarrow Y</math> ב-<math>\mathcal{C}</math> יש מורפיזם <math>F(f) : F(X) \rightarrow F(Y)</math> ב-<math>\mathcal{D}</math>.
| |||