Weak Frobenius monads and Frobenius bimodules
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 Frobenius provided we have F=G and then AF≃AF. Here we investigate which kind of is...
Saved in:
| Published in: | Algebra and Discrete Mathematics |
|---|---|
| Date: | 2016 |
| Main Author: | |
| Format: | Article |
| Language: | English |
| Published: |
Інститут прикладної математики і механіки НАН України
2016
|
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/155238 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Weak Frobenius monads and Frobenius bimodules / R. Wisbauer // Algebra and Discrete Mathematics. — 2016. — Vol. 21, № 2. — С. 287–308. — Бібліогр.: 8 назв. — англ. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| Summary: | 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 Frobenius provided we have F=G and then AF≃AF. 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 AF and the category of bimodules AFF subject to certain compatibility conditions (Frobenius bimodules). Eventually we obtain that for a weak monad (F,m,η) and a weak comonad (F,δ,ε) satisfying Fm⋅δF=δ⋅m=mF⋅Fδ and m⋅Fη=Fε⋅δ, the category of compatible F-modules is isomorphic to the category of compatible Frobenius bimodules and the category of compatible F-comodules.
|
|---|---|
| ISSN: | 1726-3255 |