Lásd az alábbi szakaszt, majd válaszolj a kérdésre ugyanabban a nyelven, mint a szakasz:  Átjárat: Sok csoport egyidejűleg más matematikai struktúrák csoportja és példája. A kategóriaelmélet nyelvén ezek csoportos objektumok egy kategóriában, ami azt jelenti, hogy olyan objektumok (azaz egy másik matematikai szerkezet 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) szintén egy halmaz, tehát a csoport egy csoportobjektum a halmazok kategóriájában.  Kérdés: Mi az a csoport?
szett