Useat ryhmät ovat samanaikaisesti ryhmiä ja esimerkkejä muista matemaattisista rakenteista. Kategoriateorian kielellä ne ovat ryhmätyyppejä luokassa, mikä tarkoittaa, että ne ovat esineitä (eli esimerkkejä toisesta matemaattisesta rakenteesta), jotka tulevat muunnelmilla (nimeltään morfismit), jotka jäljittelevät ryhmän aksiomeja. Esimerkiksi jokainen ryhmä (kuten edellä määritelty) on myös joukko, joten ryhmä on joukkojen luokkaan kuuluva ryhmäobjekti. Kysymys: Mikä on jokainen ryhmä?
asetettu