 Solution

If $G^{\mathbb{T}}$ is fully faithful, the criterion proved for a right adjoint says that the adjunction counit of $F^{\mathbb{T}}⊣G^{\mathbb{T}}$ is a natural isomorphism. Its component at $(A,a)$ is precisely the algebra action $a$. In particular, its component at the free algebra for a monad $(TX,{\mu }_X)$ has underlying morphism ${\mu }_X:T^{2}X\to TX$. Thus every ${\mu }_X$ is an isomorphism, and the natural transformation $\mu$ is invertible. This closes the cycle and proves all four conditions equivalent: