Une monade n'est qu'un monoïde dans la catégorie des endofoncteurs, quel est le problème?

Qui a d'abord dit ce qui suit? Une monade n'est qu'un monoïde dans la catégorie des endofoncteurs, quel est le problème? Et sur une note moins importante, est-ce vrai et si oui, pourriez-vous donner une explication (si tout va bien une qui peut être comprise par quelqu'un qui n'a pas beaucoup...