אוניברסליות (תורת הקטגוריות)
פעולות נוספות
בתורת הקטגוריות, אוניברסליות היא תכונה של אובייקטים כלליים במסגרת קטגוריה נתונה, שממנה נובע שהם מייצגים משפחה רחבה של אובייקטים. למינוח זה שימושים רבים בתחומים שונים במתמטיקה, כמו אלגברה, טופולוגיה אלגברית ועוד. במקרים רבים ההצדקה לקיומה של בניה מתמטית היא בכך שהיא מספקת אובייקט אוניברסלי.
הגדרה פורמלית עריכה
יהיו <math>C,D</math> קטגוריות נתונות. יהי <math>U:D \to C</math> פונקטור ו-<math>X</math> אובייקט של <math>C</math>.
מורפיזם התחלתי מ-<math>X</math> ל-<math>U</math> הוא זוג <math>(A,\phi)</math> כאשר <math>A</math> אובייקט של <math>D</math> ו-<math>\phi : X \to U(A)</math> מורפיזם ב-<math>C</math>, כך שמתקיימת תכונת ההתחלתיות: לכל אובייקט <math>Y</math> ב-<math>D</math> ולכל מורפיזם <math>f:X \to U(Y)</math> קיים ויחיד מורפיזם <math>g:A \to Y</math> כך ש-<math>U(g) \circ \phi = f</math>, כלומר הדיאגרמה הבאה מתחלפת:
בדומה, מורפיזם סופי הוא מורפיזם דואלי לקודם: זהו אובייקט סופי מ-<math>U</math> ל-<math>X</math>, כלומר זוג <math>(A,\phi)</math> כאשר <math>A</math> אובייקט של <math>D</math> ו-<math>\phi : U(A) \to X</math> מורפיזם ב-<math>C</math>, כך שמתקיימת התכונת הסופיות: לכל אובייקט <math>Y</math> ב-<math>D</math> ולכל מורפיזם <math>f:U(Y) \to X</math> קיים ויחיד מורפיזם <math>g:Y \to A</math> כך ש-<math>\phi \circ U(g) = f</math>, כלומר:
מורפיזם אוניברסלי הוא בהגדרה אחת משתי הבניות לעיל, ואוניברסליות היא אחת מהתכונות (ההתחלתית או הסופית) בהתאם. בהתאם לדואליות של המונחים, ניתן להגדיר רק אחד מהם, והשני נובע ישירות על ידי החלפת כיווני החצים.
קיום ויחידות עריכה
אם קיים אובייקט אוניברסלי, אז הוא יחיד עד כדי איזומורפיזם. זאת משום שאם A,B אוניברסליים אז יש מורפיזם יחיד מ-A ל-B, ומורפיזם יחיד מ-B ל-A, שהרכבתם (שהיא מורפיזם מ-A ל-A) מוכרחה להיות הזהות. עם זאת, לא בכל קטגוריה קיים אובייקט אוניברסלי.
דוגמאות עריכה
- מכפלה חופשית היא דוגמה לבנייה אוניברסלית בתורת החבורות, המגדירה באופן מלא את כל ההעתקות משתי חבורות נתונות לחבורה נוספת. בדומה, מכפלת היתוך היא בנייה מעט משוכללת יותר, העונה על בעיה שימושית גם בטופולוגיה אלגברית במשפט ואן קמפן.
- מכפלת חוגים היא בעלת תכונה אוניברסלית הקובעת את המיפויים מאוסף חוגים בעזרת מכפלתם. מכפלה טנזורית של אלגברות (מעל שדה) היא האלגברה הכללית ביותר המהווה תמונה של אלגברת המכפלה הקובעת את ההעתקות מהמכפלה לאלגברה אחרת.
- אלגברת קליפורד היא האלגברה הכללית ביותר בה העלאה בריבוע שקולה להפעלת תבנית ריבועית.