|
Algebra and Discrete Mathematics, 2016, Volume 21, Issue 2, Pages 287–308
(Mi adm569)
|
|
|
|
This article is cited in 1 scientific paper (total in 1 paper)
RESEARCH ARTICLE
Weak Frobenius monads and Frobenius bimodules
Robert Wisbauer Department of Mathematics, HHU, 40225 Düsseldorf, Germany
Abstract:
As observed by Eilenberg and Moore (1965), for a monad $F$ with right adjoint comonad $G$ on any category $\mathbb{A}$, the category of unital $F$-modules $\mathbb{A}_F$ is isomorphic to the category of counital $G$-comodules $\mathbb{A}^G$. The monad $F$ is Frobenius provided we have $F=G$ and then $\mathbb{A}_F\simeq \mathbb{A}^F$. Here we investigate which kind of isomorphisms can be obtained for non-unital monads and non-counital comonads. For this we observe that the mentioned isomorphism is in fact an isomorphisms between $\mathbb{A}_F$ and the category of bimodules $\mathbb{A}^F_F$ subject to certain compatibility conditions (Frobenius bimodules). Eventually we obtain that for a weak monad $(F,m,\eta)$ and a weak comonad $(F,\delta,\varepsilon)$ satisfying $Fm\cdot \delta F = \delta \cdot m = mF\cdot F\delta$ and $m\cdot F\eta = F\varepsilon\cdot \delta$, the category of compatible $F$-modules is isomorphic to the category of compatible Frobenius bimodules and the category of compatible $F$-comodules.
Keywords:
pairing of functors, adjoint functors, weak (co)monads, Frobenius monads, firm modules, cofirm comodules, separability.
Received: 28.12.2015
Citation:
Robert Wisbauer, “Weak Frobenius monads and Frobenius bimodules”, Algebra Discrete Math., 21:2 (2016), 287–308
Linking options:
https://www.mathnet.ru/eng/adm569 https://www.mathnet.ru/eng/adm/v21/i2/p287
|
Statistics & downloads: |
Abstract page: | 177 | Full-text PDF : | 60 | References: | 34 |
|