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