All Questions

This answer states that the category of finitary monads is locally presentable and monadic over the category $\mathrm{Set}^{\mathbb{N}}$. Where can I find proof of this claim? More generally: I've ...