The 2-Adjunction that relates Universal Arrows and Extensive Monads
Fuente:
arXiv
Salvato in:
| Autori principali: | , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866916628977942528 |
|---|---|
| author | Vazquez-Marquez, Adrian Zuniga-Apipilhuasco, Jenylin |
| author_facet | Vazquez-Marquez, Adrian Zuniga-Apipilhuasco, Jenylin |
| contents | In this article the 2-adjunction that relates universal arrows and extensive monads is constructed explicitly. This 2-adjunction resembles the one that relates adjunctions and monads since the 2-category of universal arrows is isomorphic to the 2-category of adjunctions and the 2-category of extensive monads is isomorphic to the 2-category of monads. This article would be useful as a foundation for a theory relating pseudo adjunctions and pseudo monads for Gray-categories. On the other hand, it might function as an accesible tool for computer scientists on extensive monads. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2502_17854 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | The 2-Adjunction that relates Universal Arrows and Extensive Monads Vazquez-Marquez, Adrian Zuniga-Apipilhuasco, Jenylin Category Theory Information Theory In this article the 2-adjunction that relates universal arrows and extensive monads is constructed explicitly. This 2-adjunction resembles the one that relates adjunctions and monads since the 2-category of universal arrows is isomorphic to the 2-category of adjunctions and the 2-category of extensive monads is isomorphic to the 2-category of monads. This article would be useful as a foundation for a theory relating pseudo adjunctions and pseudo monads for Gray-categories. On the other hand, it might function as an accesible tool for computer scientists on extensive monads. |
| title | The 2-Adjunction that relates Universal Arrows and Extensive Monads |
| topic | Category Theory Information Theory |
| url | https://arxiv.org/abs/2502.17854 |