Comma 2-comonad I: Eilenberg-Moore 2-category of colax coalgebras
Fuente:
arXiv
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Preprint |
| Publicado: |
2025
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866912357128601600 |
|---|---|
| author | Baković, Igor |
| author_facet | Baković, Igor |
| contents | In this paper we describe a comma 2-comonad on the 2-category whose objects are functors, 1-cell are colax squares and 2-cells are their transformations. We give a complete description of the Eilenberg-Moore 2-category of colax coalgebras, colax morphisms between them and their transformations and we show how many fundamental constructions in formal category theory like adjoint triples, distributive laws, comprehension structures, Frobenius functors etc. naturally fit in this context. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2505_00682 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Comma 2-comonad I: Eilenberg-Moore 2-category of colax coalgebras Baković, Igor Category Theory Algebraic Topology In this paper we describe a comma 2-comonad on the 2-category whose objects are functors, 1-cell are colax squares and 2-cells are their transformations. We give a complete description of the Eilenberg-Moore 2-category of colax coalgebras, colax morphisms between them and their transformations and we show how many fundamental constructions in formal category theory like adjoint triples, distributive laws, comprehension structures, Frobenius functors etc. naturally fit in this context. |
| title | Comma 2-comonad I: Eilenberg-Moore 2-category of colax coalgebras |
| topic | Category Theory Algebraic Topology |
| url | https://arxiv.org/abs/2505.00682 |