Rigardu la malsupran trairejon kaj poste respondu la demandon poste en la sama lingvo kiel la trairejo:  Trairejo: Multaj grupoj estas samtempe grupoj kaj ekzemploj de aliaj matematikaj strukturoj. 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 grupaksiomojn. Ekzemple, ĉiu grupo (kiel difinite supre) ankaŭ estas aro, do grupo estas grupobjekto en la kategorio de aroj.  Demando: Kio estas ĉiu grupo?
metita