Measuring Comodules and Enrichment
Fuente:
arXiv
Guardado en:
| Autores principales: | , , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2017
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _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 |