Consulteu el passatge següent i responu a la pregunta posteriorment en el mateix idioma que el passatge:  Passatge: Molts grups són simultàniament grups i exemples d'altres estructures matemàtiques. En el llenguatge de la teoria de categories, són objectes de grup en una categoria, el que significa que són objectes (és a dir, exemples d'una altra estructura matemàtica) que vénen amb transformacions (anomenades morfismes) que imiten els axiomes del grup. Per exemple, cada grup (com es va definir anteriorment) també és un conjunt, de manera que un grup és un objecte grup en la categoria d'ensembles.  Pregunta: Què és cada grup?
set