הבדלים בין גרסאות בדף "אוניברסליות (תורת הקטגוריות)"

מ
שוחזר מעריכות של 109.66.109.188 (שיחה) לעריכה האחרונה של EranBot
מ (שוחזר מעריכות של 109.66.109.188 (שיחה) לעריכה האחרונה של EranBot)
ב[[תורת הקטגוריות]], '''אוניברסליות''' היא תכונה של אובייקטים כלליים במסגרת [[קטגוריה (מתמטיקה)|קטגוריה]] נתונה, שממנה נובע שהם מייצגים משפחה רחבה של אובייקטים. למינוח זה שימושים רבים בתחומים שונים במתמטיקה, כמו [[אלגברה]], [[טופולוגיה אלגברית]] ועוד. במקרים רבים ההצדקה לקיומה של בניה מתמטית היא בכך שהיא מספקת אובייקט אוניברסלי.
 
==הגדרה פורמליפורמלית==
יהיו <math>C,D</math> קטגוריות נתונות. יהי <math>U:D \to C</math> [[פונקטור]] ו-<math>X</math> אובייקט של <math>C</math>.