מכפלה (תורת הקטגוריות) – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
←הגדרה: הרחבה |
|||
שורה 14:
:<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 : \left( \prod_{i \in I} X_i \right) \to X_j \mathrm{ , } \quad \pi_j((x_i)_{i \in I}) := x_j</math>
בהינתן קבוצה כלשהי ''Y'' ואוסף של פונקציות
:<math>\,f_i : Y \to X_i</math>
| |||