Prehod: Mnoge skupine so hkrati skupine in primeri drugih matematičnih struktur. V jeziku kategorijske teorije so skupine objekti v kategoriji, kar pomeni, da so objekti (tj. primeri druge matematične strukture), ki prihajajo z transformacijami (imenovanimi morfizmi), ki posnemajo aksiome skupine. Na primer, vsaka skupina (kot je opredeljena zgoraj) je tudi množina, tako da je skupina skupinski objekt v kategoriji množin. Vprašanje: Kaj je vsaka skupina?
postavitev