symmetric monoidal (∞,1)-category of spectra
The notion of $(\infty,1)$-monad is the vertical categorification of that of monad from the context of categories to that of (∞,1)-categories.
They relate to (∞,1)-adjunctions as monads relate to adjunctions.
Given an (∞,1)-monad $T$ on an (∞,1)-category $\mathcal{C}$, there is an (∞,1)-adjunction
where $Alg_{\mathcal{C}}(T)$ is the (Eilenberg-Moore) (∞,1)-category of algebras over the (∞,1)-monad and where $U$ is the forgetful functor that remembers the underlying object of $\mathcal{C}$.
This appears in (Riehl-Verity 13, def. 6.1.15).
The following is the refinement to (∞,1)-category theory of the classical Barr-Beck monadicity theorem which states sufficient conditions for recognizing an (∞,1)-adjunction as being canonically equivalent to the one in prop. 1, hence to be a monadic adjunction.
Let $(L \dashv R)$ a pair of adjoint (∞,1)-functors such that
$R$ is a conservative (∞,1)-functor;
the domain (∞,1)-category of $R$ admits geometric realization ((∞,1)-colimit) of simplicial objects;
and $R$ preserves these
then for $T \coloneqq R \circ L$ the essentially unique $(\infty,1)$-endomorphism monad structure on the composite endofunctor, there is an equivalence of (∞,1)-categories identifying the domain of $R$ with the (∞,1)-category of algebras over an (∞,1)-monad $Alg_{\mathcal{C}}(T)$ over $T$ and $R$ itself as the canonical forgetful functor $U$ from prop. 1.
This appears as (Higher Algebra, theorem 6.2.0.6, theorem 6.2.2.5, Riehl-Verity 13, section 7)
An (∞,1)-adjunction $(L \dashv R) \colon \mathcal{C} \leftrightarrow \mathcal{D}$ is uniquely determined already by its image in the homotopy 2-category (Riehl-Verity 13, theorem 5.4.14). This is not in general true for $(\infty,1)$-monads $T \colon \mathcal{C} \to \mathcal{C}$. As these are monoids in an (∞,1)-category of endomorphisms, they in general have relevant coherence data all the way up in degree. However, by the previous statement and the monadicity theorem 1, for $(\infty,1)$-monads given via specified (∞,1)-adjunctions as $T \simeq R \circ L$ are determined by less (further) coherence data (Higher Algebra, remark 6.2.0.7, prop. 6.2.2.3, Riehl-Verity 13, page 6). (Of course there is, instead, extra data/information carried by the choice of $\mathcal{D}$.) This should justify the simplicial model category-theoretic discussion in (Hess 10) in (∞,1)-category theory.
A general treatment of $(\infty,1)$-monads in (∞,1)-category theory is in
later absorbed as
More explict discussion in terms of quasi-categories and simplicial sets is in
Some homotopy theory of (enriched) monads on (simplicial) model categories is discussed (with an eye towards higher monadic descent) in
Last revised on May 26, 2014 at 00:36:10. See the history of this page for a list of all contributions to it.