Sweedler theory for double categories
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866909472309379072 |
|---|---|
| author | Aravantinos-Sotiropoulos, Vasileios Vasilakopoulou, Christina |
| author_facet | Aravantinos-Sotiropoulos, Vasileios Vasilakopoulou, Christina |
| contents | In this work, we establish certain enrichments of dual algebraic structures in the setting of monoidal double categories. In more detail, we obtain a tensored and cotensored enrichment of monads in comonads, as well as a tensored and cotensored enrichment of modules in comodules, under very general conditions on the surrounding double category. These include `monoidal closedness' and `local presentability', leading classical notions which are here introduced in the double categorical context. Furthermore, we show that in this setting, the actual fibration of modules over monads is itself enriched in the opfibration of comodules over comonads. Applying this abstract double categorical framework to the setting of V-matrices, one directly obtains a many-object generalization of the known enrichment of modules over monoids in comodules over comonoids in a monoidal category V, which was originally induced by Sweedler's measuring k-coalgebras in vector spaces. In the present setting the result involves V-enriched modules of V-categories and V-enriched comodules of V-cocategories. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2408_03180 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Sweedler theory for double categories Aravantinos-Sotiropoulos, Vasileios Vasilakopoulou, Christina Category Theory Rings and Algebras In this work, we establish certain enrichments of dual algebraic structures in the setting of monoidal double categories. In more detail, we obtain a tensored and cotensored enrichment of monads in comonads, as well as a tensored and cotensored enrichment of modules in comodules, under very general conditions on the surrounding double category. These include `monoidal closedness' and `local presentability', leading classical notions which are here introduced in the double categorical context. Furthermore, we show that in this setting, the actual fibration of modules over monads is itself enriched in the opfibration of comodules over comonads. Applying this abstract double categorical framework to the setting of V-matrices, one directly obtains a many-object generalization of the known enrichment of modules over monoids in comodules over comonoids in a monoidal category V, which was originally induced by Sweedler's measuring k-coalgebras in vector spaces. In the present setting the result involves V-enriched modules of V-categories and V-enriched comodules of V-cocategories. |
| title | Sweedler theory for double categories |
| topic | Category Theory Rings and Algebras |
| url | https://arxiv.org/abs/2408.03180 |