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.
If "F" and "G" are inverse functors the corresponding monad is the identity functor. Note that therefore a monad is a functor from a category to itself.
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.
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.