Module Categories As Spans
Fuente:
arXiv
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Preprint |
| Publicado: |
2024
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866911297180794880 |
|---|---|
| author | Xu, Hao |
| author_facet | Xu, Hao |
| contents | We establish a correspondence between modules and spans of algebras within a general monoidal 2-category $\mathfrak{C}$. Specifically, for an algebra $A$ in $\mathfrak{C}$, we construct a normalized lax 3-functor from the 2-category of $A$-modules to the 3-category of 2-spans of algebras in $\mathfrak{C}$ under $A$. This framework unifies and generalizes the realization of module functors and module natural transformations as spans of monoidal functors. We demonstrate the utility of this theory by recovering the realization of module objects in several familiar 2-categories and discuss its extension to the 2-categories $\mathbf{MCat}$ and $\mathbf{BrCat}$. In these cases, module objects correspond to central module monoidal categories over a braided monoidal category and central braided monoidal categories over a symmetric monoidal category, respectively. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2404_06408 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Module Categories As Spans Xu, Hao Category Theory 18B10, 18M05, 18N10, 18N25, 16D10, 16D90 We establish a correspondence between modules and spans of algebras within a general monoidal 2-category $\mathfrak{C}$. Specifically, for an algebra $A$ in $\mathfrak{C}$, we construct a normalized lax 3-functor from the 2-category of $A$-modules to the 3-category of 2-spans of algebras in $\mathfrak{C}$ under $A$. This framework unifies and generalizes the realization of module functors and module natural transformations as spans of monoidal functors. We demonstrate the utility of this theory by recovering the realization of module objects in several familiar 2-categories and discuss its extension to the 2-categories $\mathbf{MCat}$ and $\mathbf{BrCat}$. In these cases, module objects correspond to central module monoidal categories over a braided monoidal category and central braided monoidal categories over a symmetric monoidal category, respectively. |
| title | Module Categories As Spans |
| topic | Category Theory 18B10, 18M05, 18N10, 18N25, 16D10, 16D90 |
| url | https://arxiv.org/abs/2404.06408 |