קטגוריה (מתמטיקה) – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
מ ←פתיח |
מ הוספת קישור לאסוציאטיביות |
||
שורה 9:
כך שמתקיימות ה[[אקסיומה|אקסיומות]] הבאות:
* ([[אסוציאטיביות]]) אם ''g'' : ''b'' → ''c'', ''f'' : ''a'' → ''b'' ו- ''h'' : ''c'' → ''d'' אז מתקיים ''h'' o (''g'' o ''f'') = (''h'' o ''g'') o ''f'', וגם
* (קיום יחידה) לכל אובייקט ''x'', קיים מורפיזם יחיד 1<sub>''x''</sub> : ''x'' → ''x'' המכונה מורפיזם היחידה של x, כך שעבור כל מורפיזם ''f'' : ''a'' → ''b'' מתקיים: 1<sub>''b''</sub> o ''f'' = ''f'' = ''f'' o 1<sub>''a''</sub>.
| |||