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

תוכן שנמחק תוכן שנוסף
מ בוט החלפות: דוגמה\1
אין תקציר עריכה
שורה 1:
ב[[תורת הקטגוריות]], '''אוניברסליות''' היא תכונה של אובייקטים כלליים במסגרת [[קטגוריה (מתמטיקה)|קטגוריה]] נתונה, שממנה נובע שהם מייצגים משפחה רחבה של אובייקטים. למינוח זה שימושים רבים בתחומים שונים במתמטיקה, כמו [[אלגברה]], [[טופולוגיה אלגברית]] ועוד. במקרים רבים ההצדקה לקיומה של בניה מתמטית היא בכך שהיא מספקת אובייקט אוניברסלי..
 
==הגדרה פורמלית==