En el llenguatge de la teoria de categories, són objectes de grup d'una categoria, és a dir, són objectes (és a dir, exemples d'una altra estructura matemàtica) que tenen transformacions (anomenades morfismes) que imiten els axiomes de grup. Per exemple, cada grup (com s'ha definit anteriorment) també és un conjunt, de manera que un grup és un objecte de grup en la categoria d'ensembles. Pregunta: Què és cada grup?
set