מכפלה (תורת הקטגוריות) – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
מאין תקציר עריכה |
|||
שורה 10:
==דוגמאות==
* בקטגוריה של קבוצות, המכפלה היא פשוט [[מכפלה קרטזית]] של אוסף הקבוצות. בהינתן משפחה של קבוצות ''X<sub>i</sub>'', המכפלה מוגדרת על ידי:
:<math>\prod_{i \in I} X_i := \{(x_i)_{i \in I} | x_i \in X_i \, \forall i \in I\}</math>
וההטלות הקנוניות הן
:<math>\pi_j : \prod_{i \in I} X_i \to X_j \mathrm{ , } \quad \pi_j((x_i)_{i \in I}) := x_j</math>
| |||