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


Wikipedia ויקיפדיה העברית - האנציקלופדיה החופשיתDownload this dictionary
תורת הקטגוריות

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

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


להמשך המאמר ראה Wikipedia.org...


© מאמר זה משתמש בתוכן מ-ויקיפדיה® וכפוף לרשיון לשימוש חופשי במסמכים של גנו GNU Free Documentation License וכפוף לרישיון Creative Commons ייחוס-שיתוף זהה