Remark 19.1.15. There is also a conceptual proof of Corollary 19.1.14. If \(e\colon \unit \to A\) is an isomorphism, then the monad \(A \otimes -\) is isomorphic to the identity monad. Its category of modules is therefore equivalent to \(D\). We have kept the direct proof above because it is shorter and does not require the monadicity package.
Generated from the authoritative LaTeX source.