En la lingvo de kategorioteorio, ili estas grupobjektoj en kategorio, signifante ke ili estas objektoj (t.e., ekzemploj de alia matematika strukturo) kiuj venas kun transformoj (nomitaj morfismoj) kiuj imitas la grupajn aksiomojn. Ekzemple, ĉiu grupo (kiel difinite supre) ankaŭ estas aro, do grupo estas grupobjekto en la kategorio de aroj. Demando: Kio estas ĉiu grupo?
metita