Verwijst u naar de passage hieronder en beantwoordt u vervolgens de vraag in dezelfde taal als de passage:  Passage: Veel groepen zijn tegelijkertijd groepen en voorbeelden van andere wiskundige structuren. In de taal van de categorie theorie, zijn ze groepsobjecten in een categorie, wat betekent dat ze objecten zijn (dat wil zeggen, voorbeelden van een andere wiskundige structuur) die komen met transformaties (morfismen genoemd) die de groepsaxioma's nabootsen. Bijvoorbeeld, elke groep (zoals hierboven gedefinieerd) is ook een verzameling, dus een groep is een groepsobject in de categorie verzamelingen.  Vraag: Wat is elke groep?
verzamelen