Definition 19.6.2. A right adjoint \(G\colon D \to C\) is monadic if its comparison functor \(K_G\colon D \to \LMod _T(C)\) is an equivalence of \(\infty \)-categories.
Generated from the authoritative LaTeX source.
Definition 19.6.2. A right adjoint \(G\colon D \to C\) is monadic if its comparison functor \(K_G\colon D \to \LMod _T(C)\) is an equivalence of \(\infty \)-categories.
Generated from the authoritative LaTeX source.