En el lenguaje de la teoría de categorías, son objetos de grupo en una categoría, lo que significa que son objetos (es decir, ejemplos de otra estructura matemática) que vienen con transformaciones (llamados morfismos) que imitan los axiomas de grupo. Por ejemplo, cada grupo (como se define anteriormente) también es un conjunto, por lo que un grupo es un objeto de grupo en la categoría de conjuntos. Pregunta: ¿Qué es cada grupo?
conjunto