Categorical meaning of the action of a group on itself by conjugation For a group $G$ there are always two actions of $G$ on itself: $g*h=gh$ and $g\star h=ghg^{-1}$. As objects in the category $G$-$Set$, the former is the free $G$-set on a singleton set. When $G$ is considered as a one-object category, this same $G$-action is also the unique representable functor on $G$. Is there any similar way to understand the action by conjugation in categorical terms?
One way to see this rather abstractly is as the diagonal of the Yoneda bimodule $G\times G^{\mathrm{op}}\to \mathbf{Set}$. That is, compose the $G$-biset $(g,h)*k=gkh$ with the diagonal homomorphism/functor $G\to G\times G^{\mathrm{op}}$, $g\mapsto (g,g^{-1})$. Under this formulation we find a similar conjugation action of any groupoid, or even any dagger-category, on itself, or generalizing in a different direction, on any bi-$G$-set. 

The question was raised in the comments of constructing this action as the internal hom of $G$ in $G-\mathbf{Set}$. This is trickier than it first appears, however. Let's calculate $G^G$ from first principles. We have isomorphisms of underlying sets: $G^G\cong G-\mathbf{Set}(G,G^G)\cong G-\mathbf{Set}(G\times G,G)\cong \mathbf{Set}(G,G)$. So the internal hom is actually the set of all functions $G\to G$, with the conjugation action, $f:G\to G\mapsto g*f, g*f(g_1)=gf(g^{-1}g_1)$. The odd thing is that we can't construct the conjugation action this way. Indeed, the equivariant maps between any two $G$-sets are precisely the fixed points of the action!  Or perhaps this isn't odd-we certainly don't want to start claiming we have conjugation actions on arbitrary $G$-sets. One way to make something closer to this work is to transfer the conjugation action along the natural isomorphism between $G-\mathbf{Set}(G,G)$ and $G^{\mathrm{op}}-\mathbf{Set}(G,G)$, which more or less brings us back to the suggestion of the previous paragraph.
The way Galois came up with the operation of conjugation is that he asked himself how does a group act on its subgroups. The only subgroup closed under the actions by multiplication (be it on the left or on the right) is the whole group. The nontrivial equivariant subobjects of the group acting on itself are precisely the normal subgroups, acted on by conjugation.