nLab
(infinity,1)-monad

Idea

The notion of $(\mathrm{\infty }\mathrm{,1})$-monad is the vertical categorification of that of monad from the context of categories to that of (∞,1)-categories.

References

A related entry is higher monadic descent. For a comprehensive treatment of $(\mathrm{\infty }\mathrm{,1})$-monads see Section 3 of

• Jacob Lurie, Noncommutative algebra, math.CT/0702299