אובייקט התחלתי ואובייקט סופי – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
מ ←דוגמאות: עיצוב |
בינוויקי |
||
שורה 21:
של שלשות סדורות המורכות מעצם ''P'' ושני מורפיזמים ל-''A'' ו-''B''. כלומר, אם <math>A \times B = (P, \alpha : P \to A , \beta : P \to B )</math>, אזי לכל עצם D עם מורפיזמים <math>\alpha' : D \to A</math> ו-<math>\beta' : D \to B</math> קיים מורפיזם יחיד <math>f : D \to P</math> כך ש-<math>\alpha' = \alpha \circ f</math> ו-<math>\beta' = \beta \circ f</math>.
[[קטגוריה:תורת הקטגוריות]]▼
{{קצרמר|מתמטיקה}}
▲[[קטגוריה:תורת הקטגוריות]]
[[en:Initial and terminal objects]]
|