A duality between monads and monadic morphisms
Fuente:
arXiv
Enregistré dans:
| Auteur principal: | |
|---|---|
| Format: | Preprint |
| Publié: |
2017
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866915870165434368 |
|---|---|
| author | Heine, Hadrian |
| author_facet | Heine, Hadrian |
| contents | We establish a duality between monads and monadic morphisms in any $(\infty,2)$-category and characterize monadic morphisms in a wide class of examples. This duality unifies several dualities between algebraic structures and their representations, and provides a general mechanism for transferring structure from a monad to its $\infty$-category of algebras. This transfer of structure yields uniform constructions of tensor products for algebras over lax symmetric monoidal and oplax symmetric monoidal monads, extending classical tensor products for modules and operadic algebras. Using this framework, we construct a relative tensor product for algebras over lax monoidal monads, a tensor product for algebras over Hopf $\infty$-operads and equip the $\infty$-category of operadic algebras with canonical enrichment. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_1712_00555 |
| institution | arXiv |
| publishDate | 2017 |
| record_format | arxiv |
| spellingShingle | A duality between monads and monadic morphisms Heine, Hadrian Category Theory We establish a duality between monads and monadic morphisms in any $(\infty,2)$-category and characterize monadic morphisms in a wide class of examples. This duality unifies several dualities between algebraic structures and their representations, and provides a general mechanism for transferring structure from a monad to its $\infty$-category of algebras. This transfer of structure yields uniform constructions of tensor products for algebras over lax symmetric monoidal and oplax symmetric monoidal monads, extending classical tensor products for modules and operadic algebras. Using this framework, we construct a relative tensor product for algebras over lax monoidal monads, a tensor product for algebras over Hopf $\infty$-operads and equip the $\infty$-category of operadic algebras with canonical enrichment. |
| title | A duality between monads and monadic morphisms |
| topic | Category Theory |
| url | https://arxiv.org/abs/1712.00555 |