All Questions

If $T$ is a monad on a category $\mathcal C$ and $T'$ is a monad on $T$-algebras, then (if I understand the answers of this question correctly) the adjunction between $\mathcal C$ and $T'$-algebras is ...

It has been cited in several places (eg. https://arxiv.org/pdf/1912.05519.pdf) that the S-module Ass is isomorphic to the composite of the S-modules Com and Lie. Is there a reference which gives the ...