Desde el punto de vista de la teoría de categorías, la teoría de grupos podría catalogarse como una categoría llamada categoría de grupos, debido a que en ella se estudia a los grupos y sus morfismos.