Note that therefore a monad is a functor from a category to itself; and that if "F" and "G" were actually inverses as functors the corresponding monad would be the identity functor.
Note that therefore a monad is a functor from a category to itself. If "F" and "G" are inverse functors the corresponding monad is the identity functor.