G-categories

A $G$-category is a category on which a group $G$ acts. This work studies the $2$-category $G$-Cat of $G$-categories, $G$-functors (functors which commute with the action of $G$) and $G$-natural transformations (natural transformations which commute with the $G$-action).