תורת הקטגוריות

תורת הקטגוריות היא תורה מתמטית המנתחת בצורה מופשטת מבנים מתמטיים ואת היחסים ביניהם. הרעיון המרכזי בה הוא להציג ולפתח רעיונות אקסיומטיים המצויים במבנים מתמטיים מוכרים רבים, וכך להוכיח טענות פרטניות בעזרת כלים מופשטים. בבסיסה נמצאים אובייקטים ומורפיזמים, שהם מעברים בין האובייקטים בעלי תכונות שונות. הוכחות רבות נעשות על דיאגרמות קומוטטיביות תוך מעקב אחרי מורפיזמים שונים.

בפיתוחה של תורת הקטגוריות החלו סמואל איילנברג (Samuel Eilenberg) וסאונדרס מקליין (Saunders MacLane) בשנים 1945–1942. לתורת הקטגוריות יישומים גם בתחומים כמו מדעי המחשב ופיזיקה.

==מונחים בסיסיים==
===קטגוריות===

המונחים הבסיסיים ביותר בתורת הקטגוריות הם הקטגוריה, בהם יש אובייקטים ומורפיזמים.

קטגוריה היא אוסף של אובייקטים, כך שמתקיים:
* לכל שני אובייקטים <math>X,Y</math> יש קבוצת מורפיזמים, המסומנת <math>\mbox{Hom}(X,Y)</math>. לכל <math>f \in \mbox{Hom}(X,Y)</math> מסמנים <math>f \colon X \to Y</math>.
* לכל אובייקטים <math>X,Y,Z</math> יש פעולת הרכבה אסוציאטיבית <math>\circ: \mbox{Hom(X,Y)} \times \mbox{Hom(Y,Z)} \to \mbox{Hom(X,Z)}</math>.
* לכל אובייקט <math>A</math> קיים <math>I_A \in \mbox{Hom(A,A)}</math>, כך שלכל אובייקט <math>B</math> ולכל <math>f \in \mbox{Hom(A,B)}</math> ולכל <math>g \in \mbox{Hom(B,A)}</math> מתקיים <math>f \circ I_A = f, I_A \circ g = g</math>.

מורפיזם <math>f \colon a \rightarrow b</math> נקרא מונומורפיזם אם יש צמצום מימין: כאשר <math>\ f \circ g_1 = f \circ g_2</math> אז מתקיים <math>g_1 = g_2</math>. הוא נקרא אפימורפיזם אם יש צמצום משמאל, ואיזומורפיזם אם קיים לו הפכי - כלומר קיים מורפיזם כך ש-<math>f \circ g = I, g \circ f = I</math>.

תכונות אלו של מורפיזמים מכלילות תכונות מוכרות מתחומים אחרים, כמו תורת הקבוצות, טופולוגיה אלגברית, אלגברה ועוד. הן מהוות את הבסיס המשותף למורפיזמים אלו בקטגוריות השונות.

===פונקטורים===

קטגוריה היא בעצמה מבנה מתמטי, ולכן ניתן לחפש תהליכים אשר משמרים את מבנה הקטגוריה. תהליך כזה מכונה פונקטור (functor).

פונקטור בין קטגוריות <math>F \colon C \to D</math> מתאים לכל אובייקט <math>X \in C</math> אובייקט <math>F(X) \in D</math>, ולכל מורפיזם בקטגוריה הראשונה <math>f \colon X_1 \to X_2</math> מורפיזם בקטגוריה שנייה <math>F(f) \colon F(X_1) \to F(X_2)</math>, כך שההרכבה נשמרת: <math>F(f_1 \circ f_2) = F(f_1) \circ F(f_2)</math>. פונקטור המשמר את ההרכבה נקרא פונקטור קו-וריאנטי, ופונקטור שהופך את סדר ההרכבה נקרא פונקטור קונטרא-וריאנטי. דוגמאות לפונקטורים מיוחדים הן פונקטור צמוד, פונקטור חופשי, פונקטור מדויק.

לפונקטורים תפקיד חשוב בתחומים שונים במתמטיקה. הם מהווים התאמות בין סוגים שונים של אובייקטים, העוזרים לחקור את המבנה של האובייקטים הללו. רעיון זה הוא בסיסי, והוא צץ לראשונה בתחום הטופולוגיה האלגברית. באופן זה בעיות טופולוגיות קשות מיתרגמות לבעיות אלגבריות, שלעיתים פשוט יותר לפתור.

לעיתים מחפשים התאמות שהן במובן מסוים טבעיות. המונח הפורמלי לכך הוא העתקה טבעית בין פונקטורים - זוהי התאמה ששומרת על פעולות ביחס לפונקטורים.

==מונחים נוספים==
===תכונת האוניברסליות===

אוניברסליות היא תכונה של אובייקט כללי ביותר בקטגוריה מסוימת. אובייקט אוניברסלי המקיים תכונה מסוימת, מתקשר בעזרת מורפיזם יחיד לכל האובייקטים האחרים המקיימים תכונה זו. קיומו לא תמיד מובטח, אך אם הוא קיים - הוא יחיד עד כדי איזומורפיזם. זוהי דוגמה להגדרה קטגורית טהורה, המסתמכת אך ורק על מבנה קטגוריה ולא על המבנה הפנימי של קטגוריה ספציפית. בעזרת רעיון זה ניתן למשל להגדיר מכפלת אובייקטים, כך שתקיים תכונה אוניברסלית מתאימה.

===קטגוריות שקולות===

במבנים מתמטיים 'רגילים' שואלים לעיתים קרובות מתי שני מבנים הם "שקולים" - כלומר הם הלכה למעשה אותו המבנה. גם בתורת הקטגוריות יש מינוח דומה - שתי קטגוריות <math>C,D</math> הן קטגוריות שקולות, אם יש פונקטורים <math>F \colon C \to D, G \colon D \to C</math> כך שיש העתקה טבעית <math>FG \to I_D</math>, <math>GF \to I_C</math>. שקילות בין קטגוריות פירושה שטענה על כל אחת מהקטגוריות ניתן לתרגם בהתאמה מלאה לטענה על השנייה.

==דוגמאות==
===בתורת הקבוצות===
תורת הקבוצות היא תחום קרוב לתורת הקטגוריות. בשני התחומים הבסיס הוא חקר העתקות ותכונות שלהם. תורת הקטגוריות לוקחת רעיונות מתורת הקבוצות, כמו זה של פונקציה (מורפיזם), פונקציה חד-חד-ערכית (מונומורפיזם) ואיזומורפיזם, ונותנת להן מינוח כללי.

פורמלית, אוסף כל הקבוצות הוא קטגוריה המסומנת Set. המורפיזמים בה הם פונקציות בין קבוצות. ההגדרה של המורפיזמים השונים במובן הקטגורי מתאימה להגדרה של פונקציות ותכונותיהן בתורת הקבוצות.

היות שקבוצות הן אובייקט בסיסי במתמטיקה, יש חשיבות רבה מאוד לפונקטורים מהן לקטגוריות אחרות ולהפך. למשל, אובייקט חופשי נבנה מעל קבוצת יוצרים.

===בתורת החבורות===
המחלקה Grp המורכבת מכל החבורות הקיימות - אלו הן קבוצות שמשויכות להן פעולות בינאריות בין עצמי הקבוצה. במקרה זה המורפיזמים הם ההומומורפיזמים של החבורות. ההומומורפיזם של חבורה משמר את מבנה החבורה באופן מאוד מסוים: זהו "תהליך" הממפה חבורה אחת לשנייה באופן המעביר לחבורה השנייה אינפורמציה על מבנה החבורה הראשונה, בכך שתוצאה של הפעולה של החבורה האחת על איברים שלה תמיד עוברת אל תוצאת הפעולה של החבורה השנייה על "תמונות" האיברים בחבורה השנייה. חקר ההומומורפיזמים משמש כלי לחקר תכונות כלליות של חבורות והשלכותיהן של אקסיומות החבורות.

===בטופולוגיה אלגברית===
תורת הקטגוריות נפוצה במיוחד בטופולוגיה אלגברית. בפועל, תורת הקטגוריות התפתחה מטופולוגיה אלגברית, בה הבינו לראשונה את הקשרים בין מבנים שונים, כמו מרחבים טופולוגיים וחבורה.

כאשר מנסים להוכיח ששני מרחבים טופולוגיים הומיאומורפיים, ישנן מספר דרכים להפריך קיום הומיאומורפיזם: לבדוק האם שני המרחבים קשירים (קשירות נשמרת תחת הומיאומורפיזם), לבדוק את עוצמת הקבוצות, לבדוק קומפקטיות. אלו הם תנאים הכרחיים ולא מספיקים, ולעיתים לא נראית לעין תכונה המפרידה שני מרחבים. כאן נכנסת תורת הקטגוריות - על ידי פונקטור אנו מתאימים לכל מרחב טופולוגי חבורה, כמו החבורה היסודית - שלוקחת כל מרחב טופולוגי לחבורה המורכבת מכל הלולאות הסגורות שניתן ליצור במרחב עד כדי הומוטופיה ביחס לקצוות. כך, קיבלנו עוד תנאי הכרחי לקיום הומיאומורפיזם בין מרחבים טופולוגיים - היות שמדובר בפונקטור - כלומר התאמה השומרת על איזומורפיזמים - אם החבורות היסודיות שלהם לא איזומורפיות אז הם לא הומיאומורפיים. פונקטורים נוספים בטופולוגיה אלגברית הם חבורות ההומולוגיה וחבורות ההומוטופיה מסדרים גבוהים יותר.

==ראו גם==
* דיאגרמה (תורת הקטגוריות)
* מכפלה (תורת הקטגוריות)
* מערכת מכוונת

==קישורים חיצוניים==

* 

*
קטגוריה:ערכים שבהם תבנית בריטניקה אינה מתאימה