קטגוריה (מתמטיקה)

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