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