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

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