Measuring Comodules and Enrichment
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2017
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866917300046659584 |
|---|---|
| author | Hyland, Martin Franco, Ignacio Lopez Vasilakopoulou, Christina |
| author_facet | Hyland, Martin Franco, Ignacio Lopez Vasilakopoulou, Christina |
| contents | This paper extends the theory of universal measuring comonoids to modules and comodules in braided monoidal categories. We generalise the universal measuring comodule Q(M,N), originally introduced for modules over k-algebras when k is a field, to arbitrary braided monoidal categories. In order to establish its existence, we prove a representability theorem for presheaves on opfibred categories and an adjoint functor theorem for opfibred functors. The global categories of modules and comodules, fibred and opfibred over monoids and comonoids respectively, are shown to exhibit an enrichment of modules in comodules. Additionally, we use our framework to study higher derivations of algebras and modules, defining along the way the non-commutative Hasse-Schmidt algebra. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_1703_10137 |
| institution | arXiv |
| publishDate | 2017 |
| record_format | arxiv |
| spellingShingle | Measuring Comodules and Enrichment Hyland, Martin Franco, Ignacio Lopez Vasilakopoulou, Christina Category Theory Quantum Algebra This paper extends the theory of universal measuring comonoids to modules and comodules in braided monoidal categories. We generalise the universal measuring comodule Q(M,N), originally introduced for modules over k-algebras when k is a field, to arbitrary braided monoidal categories. In order to establish its existence, we prove a representability theorem for presheaves on opfibred categories and an adjoint functor theorem for opfibred functors. The global categories of modules and comodules, fibred and opfibred over monoids and comonoids respectively, are shown to exhibit an enrichment of modules in comodules. Additionally, we use our framework to study higher derivations of algebras and modules, defining along the way the non-commutative Hasse-Schmidt algebra. |
| title | Measuring Comodules and Enrichment |
| topic | Category Theory Quantum Algebra |
| url | https://arxiv.org/abs/1703.10137 |