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

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