Patikrinkite žemiau pateiktą eilutę ir atsakykite į klausimą, pateiktą toje pačioje kalba, kaip ir eilutė:  Perėjimas: daugelis grupių yra kartu ir kitų matematinių struktūrų grupės, ir jų pavyzdžiai. Kategorijų teorijos kalba jie yra grupės objektai kategorijoje, tai reiškia, kad jie yra objektai (t. y. kitos matematinės struktūros pavyzdžiai), kurie ateina su transformacijomis (vadinamomis morfizmais), kurios imituoja grupės aksiomas. Pavyzdžiui, kiekviena grupė (kaip apibrėžta aukščiau) taip pat yra rinkinys, taigi grupė yra grupės objektas rinkinių kategorijoje.  Klausimas: Kas yra kiekviena grupė?
nustatymas