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