A group is a single object category whose morphisms are invertible. A group representation is a functor