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

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