En teoría de categorías, son obxectos de grupo nunha categoría, o que significa que son obxectos (é dicir, exemplos doutra estrutura matemática) que veñen con transformacións (chamadas morfísmos) que imitan os axiomas do grupo. Por exemplo, cada grupo (como se definiu anteriormente) tamén é un conxunto, polo que un grupo é un obxecto de grupo na categoría de conxuntos. Pregunta: Que é cada grupo?
set