symmetric monoidal (∞,1)-category of spectra
An accessible monad is a monad on an accessible category whose underlying functor is an accessible functor.
The Eilenberg-Moore category of a -accessible monad, def. , 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
if a monad has a right adjoint then is itself a topos;
if a comonad is left exact, then is itself a topos.
See at topos of algebras over a monad for details.
Last revised on February 12, 2014 at 06:16:09. See the history of this page for a list of all contributions to it.