Vt allpool toodud lõik ja vasta sellele küsimusele hiljem sama keeles kui lõik:  Ülekandmine: paljud rühmad on samaaegselt teiste matemaatiliste struktuuride rühmad ja näited. Kategooria teooria keeles on need rühmitatud objektid kategoorias, mis tähendab, et need on objektid (st näiteks teine matemaatiline struktuur), mis on koos transformatsioonidega (mida nimetatakse morfismideks), mis jäljendavad rühma aksiome. Näiteks iga rühm (nagu eespool määratletud) on ka kogum, nii et rühm on kogumite kategoorias olev rühmaobjekt.  Küsimus: Mis on iga grupp?
seade