Доорх хэсгийг уншиж, дараа нь асуултад хариултыг өгүүлбэртэй ижил хэлээр:  Өвч: Олон бүлэг нь нэгэн зэрэг бусад математикийн бүтцийн бүлэг, жишээ юм. Категорийн онолын хэл дээр тэд нь бүлэглэлийн объектууд юм, өөрөөр хэлбэл тэд нь бүлэглэлийн аксиомыг дуурайсан өөрчлөлтүүдтэй (морфизм гэж нэрлэдэг) ирсэн объект (өөрөөр хэлбэл, өөр нэг математикийн бүтцийн жишээ) юм. Жишээлбэл, бүх бүлэг (хоёрдугаарт тодорхойлсон) нь бас багц юм, тиймээс бүлэг нь бүлэгүүдийн ангилалд багц объект юм.  Асуулт: Бүх бүлэг гэж юу вэ?
тохиргоо