$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