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

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