Generalmente, una representación de un grupo "G" en una categoría C es un funtor de "G" (como categoría de un objeto) en C.