Preberite spodnji odlomek in nato odgovorite na vprašanje v istem jeziku kot odlomek:  Prehod: Mnoge skupine so hkrati skupine in primeri drugih matematičnih struktur. V jeziku kategorijske teorije so to skupinski predmeti v kategoriji, kar pomeni, da so to predmeti (tj. primeri druge matematične strukture), ki prihajajo z transformacijami (imenovanimi morfizmi), ki posnemajo skupinske aksiome. 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