Report - arXiv:math/0702299v5 [math.CT] 19 Sep 2007is tensored over C: namely, one can take C to be the ∞-category Fun(M,M) of endofunctors of M. Algebra objects of Fun(M,M) are called monads

Please pass captcha verification before submit form