Žr. žemiau pateiktą eilutę ir atsakykite į klausimą tuo pačiu žodžiu, kaip ir eilutėje: Perėjimas: Daugelis grupių yra kartu grupės ir kitų matematinių struktūrų 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 turi transformacijas (vadinamą morfizmais), imituojančias grupės aksiomas. Pavyzdžiui, kiekviena grupė (kaip apibrėžta aukščiau) taip pat yra rinkinys, todėl grupė yra grupės objektas rinkinių kategorijoje. Klausimas: Kas yra kiekviena grupė?
nustatymas