Viitataan alla olevaan kohtaan ja vastataan kysymykseen sen jälkeen samalla kielellä kuin kohtaa:  Läpäys: Monet ryhmät ovat samanaikaisesti ryhmiä ja esimerkkejä muista matemaattisista rakenteista. Kategoria-teorian kielellä ne ovat ryhmäobjekteja luokassa, mikä tarkoittaa, että ne ovat objekteja (eli esimerkkejä toisesta matemaattisesta rakenteesta), jotka tulevat muunteluilla (nimeltään morfismit), jotka jäljittelevät ryhmän aksiomeja. Esimerkiksi jokainen ryhmä (kuten edellä on määritelty) on myös joukko, joten ryhmä on ryhmäobjekti joukkojen kategoriassa.  Kysymys: Mitä jokainen ryhmä on?
asetettu