Henvis til passagen nedenfor og svar derefter på spørgsmålet på samme sprog som passagen:  Passage: Mange grupper er samtidig grupper og eksempler på andre matematiske strukturer. I kategoriteoriens sprog er de gruppeobjekter i en kategori, hvilket betyder, at de er objekter (dvs. eksempler på en anden matematisk struktur), der kommer med transformationer (kaldet morfismer), der efterligner gruppeaksiomerne. For eksempel er hver gruppe (som defineret ovenfor) også et sæt, så en gruppe er et gruppeobjekt i kategorien af sæt.  Spørgsmål: Hvad er hver gruppe?
sæt