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