Verwys na die gedeelte hieronder en beantwoord dan die vraag daarna in dieselfde taal as die gedeelte: Passage: Baie groepe is terselfdertyd groepe en voorbeelde van ander wiskundige strukture. In die taal van kategorie-teorie, is hulle groep voorwerpe in 'n kategorie, wat beteken dat hulle voorwerpe (dit is, voorbeelde van 'n ander wiskundige struktuur) wat kom met transformasies (genoem morfismes) wat die groep aksiome naboots. Byvoorbeeld, elke groep (soos hierbo gedefinieer) is ook 'n stel, so 'n groep is 'n groep voorwerp in die kategorie van stelle. Vraag: Wat is elke groep?
stel