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...
Gespeichert in:
| Veröffentlicht in: | Algebra and Discrete Mathematics |
|---|---|
| Datum: | 2016 |
| ISSN: | 1726-3255 |
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | Englisch |
| Veröffentlicht: |
Інститут прикладної математики і механіки НАН України
2016
|
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/155238 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | 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| Zusammenfassung: | 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 |