Tricategorical Universal Properties Via Enriched Homotopy Theory
Fuente:
arXiv
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2024
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866912013361348608 |
|---|---|
| author | Miranda, Adrian |
| author_facet | Miranda, Adrian |
| contents | We develop the theory of tricategorical limits and colimits, and show that they can be modelled up to biequivalence via certain homotopically well-behaved limits and colimits enriched over the monoidal model category $\mathbf{Gray}$ of $2$-categories and $2$-functors. This categorifies the relationship that bicategorical limits and colimits have with the so called `flexible' enriched limits in $2$-category theory. As examples, we establish the tricategorical universal properties of Kleisli constructions for pseudomonads, Eilenberg-Moore and Kleisli constructions for (op)monoidal pseudomonads, centre constructions for $\mathbf{Gray}$-monoids, and strictifications of bicategories and pseudo-double categories. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2409_01837 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Tricategorical Universal Properties Via Enriched Homotopy Theory Miranda, Adrian Category Theory We develop the theory of tricategorical limits and colimits, and show that they can be modelled up to biequivalence via certain homotopically well-behaved limits and colimits enriched over the monoidal model category $\mathbf{Gray}$ of $2$-categories and $2$-functors. This categorifies the relationship that bicategorical limits and colimits have with the so called `flexible' enriched limits in $2$-category theory. As examples, we establish the tricategorical universal properties of Kleisli constructions for pseudomonads, Eilenberg-Moore and Kleisli constructions for (op)monoidal pseudomonads, centre constructions for $\mathbf{Gray}$-monoids, and strictifications of bicategories and pseudo-double categories. |
| title | Tricategorical Universal Properties Via Enriched Homotopy Theory |
| topic | Category Theory |
| url | https://arxiv.org/abs/2409.01837 |