A kategóriaelmélet nyelvén egy kategóriában csoportos objektumok, azaz olyan objektumok (azaz egy másik matematikai struktúra példái), amelyek olyan átalakulásokkal (morfizmusok) járnak, amelyek utánozzák a csoport axiómáit. Például minden csoport (a fenti meghatározás szerint) is egy halmaz, tehát egy csoport egy csoportos objektum a halmazok kategóriájában. Kérdés: Mi minden csoport?
szett