Group

#algebra

A group $G$ is a single object category whose morphisms are invertible. A group representation is a functor $F: G \to \text{Vec}$