symmetric monoidal (∞,1)-category of spectra
The Eilenberg-Moore category of a -accessible monad, def. 1, is a -accessible category. If in addition the category on which the monad acts is a -locally presentable category then so is the EM-category.
Moreover, let be a topos. Then
See at topos of algebras over a monad for details.