إشير للقسم اللي تحت وبعدين جاوب على السؤال بعدين بنفس اللغة اللي في القسم: الممر: كتير مجموعات هي مجموعات ومثال من الهياكل الرياضية التانية. بلغة نظرية الفئات، هي مجموعات في فئة، بمعنى هي أشكال (يعني، مثال من هيكل رياضي آخر) اللي بتجي مع تحويلات (تسمى مورفيزم) اللي بتحاكي أكسيومات المجموعة. مثلاً، كل مجموعة (كالمعرفة اللي فوق) هي مجموعة، فالمجموعة هي مجموعة في فئة المجموعات. السؤال: شو هي كل مجموعة؟
حدد