加载中…
As shown by S. Eilenberg and J.C. Moore (1965), for a monad with right adjoint comonad on any catgeory , the category of unital -modules is isomorphic to the category of counital -comodules . The monad is Frobenius provided we have and then . Here we investigate which kind of equivalences can be obtained for non-unital monads (and non-counital comonads).

生成讲解博客的中文版本

生成AI智能校验的中文版本