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