קטגוריה (מתמטיקה) – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
סוגי אובייקטים |
מ בוט החלפות: לעתים; |
||
שורה 4:
קטגוריה <math>\mathcal C</math> מורכבת מהמידע הבא:
* [[מחלקה (מתמטיקה)|מחלקה]] <math>Ob(\mathcal C)</math> של '''עצמים''' (או '''אובייקטים''')
* לכל זוג אובייקטים <math>a,b \in Ob(\mathcal C)</math> קבוצה <math>\mbox{Hom}(a,b)\,</math> (מסומנת
* לכל שלושה אובייקטים a, b ו-c, קיים [[אופרטור בינארי]] <math>\mbox{Hom}(a,b) \times \mbox{Hom}(b,c) \rightarrow \mbox{Hom}(a,c)</math> הנקרא ''הרכבת מורפיזמים''. הרכבת המורפיזמים <math>f:a \rightarrow b</math> ו-<math>g:b \rightarrow c</math> מסומנת על ידי <math>g \circ f</math> או פשוט <math>gf\,</math>.
שורה 12:
קטגוריה נקראת '''קטגוריה קטנה''' אם המחלקה <math>Ob(\mathcal C)</math> היא [[קבוצה (מתמטיקה)|קבוצה]].
==דוגמאות==
|