Une monade est juste un monoïde dans la catégorie des endofoncteurs, quel est le problème?
Qu'est-ce que l'homomorphisme monoïde exactement?