מכפלה (תורת הקטגוריות) – הבדלי גרסאות

==קיום ויחידות==

לא בכל קטגוריה ''C'' קיימת לכל משפחה <math>\,\{X_i\}</math> מכפלה. אם קיימת המכפלה אז היא יחידה במובן הבא: אם <math>\,\pi_i:X\rightarrow X_i</math> ו-<math>\,\pi'_i:X'\rightarrow X_i</math> הן זוג מכפלות של המשפחה <math>\,\{X_i\}</math> אז קיים [[איזומורפיזם (מתמטיקה)|איזומורפיזם]] יחיד <math>\,f:X\rightarrow X'</math> כך ש <math>\,\pi_i=\pi'_i\circ f</math>.

 

[[קטגוריה: תורת הקטגוריות]]