Wisbauer, R.
(Algebra and Discrete Mathematics, 2016)
As observed by Eilenberg and Moore (1965), for a monad F with right adjoint comonad G on any category A, the category of unital F-modules AF is isomorphic to the category of counital G-comodules AG. The monad F is ...