Idempotent Monad

A Monad $(T,\eta,\mu)$ is idempotent if the join $\mu:TT\to T$ is an Isomorphism.