Consider a monad on an idempotent complete triangulated category with the property that its Eilenberg–Moore category of modules inherits a triangulation. We show that any other triangulated adjunction realizing this monad is ‘essentially monadic’, i.e. becomes monadic after performing the two evident necessary operations of taking the Verdier quotient by the kernel of the right adjoint and idempotent completion. In this sense, the monad itself is ‘intrinsically monadic’. It follows that for any highly structured ring spectrum, its category of homotopy (aka naïve) modules is triangulated if and only if it is equivalent to its category of highly structured (aka strict) modules.

On considère une monade sur une catégorie triangulée, idempotente-complète, avec la propriété que la catégorie de Eilenberg–Moore des modules hérite d'une triangulation. Nous montrons que toute autre adjonction triangulée réalisant cette monade est essentiellement « monadique », c'est-à-dire qu'elle devient monadique après avoir pris le quotient de Verdier par le noyau de l'adjoint à droite et la complétion idempotente. En ce sens, la monade elle-même est « intrinsèquement monadique ». Il s'ensuit que, pour tout spectre en anneaux hautement structuré, sa catégorie des modules d'homotopie (dits aussi naïfs) est triangulée si et seulement si elle est équivalente à sa catégorie des modules hautement structurés (dits aussi stricts).