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

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