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

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