Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2023
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2307.00442 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866929509266096128 |
|---|---|
| author | Goldthorpe, Zach |
| author_facet | Goldthorpe, Zach |
| contents | We show that both the $\infty$-category of $(\infty, \infty)$-categories with inductively defined equivalences, and with coinductively defined equivalences, satisfy universal properties with respect to weak enrichment in the sense of Gepner and Haugseng. In particular, we prove that $(\infty, \infty)$-categories with coinductive equivalences form a terminal object in the $\infty$-category of fixed points for enrichment, and that $(\infty, \infty)$-categories with inductive equivalences form an initial object in the subcategory of locally presentable fixed points. To do so, we develop an analogue of Adámek's construction of free endofunctor algebras in the $\infty$-categorical setting. We prove that $(\infty, \infty)$-categories with coinductive equivalences form a terminal coalgebra with respect to weak enrichment, and $(\infty, \infty)$-categories with inductive equivalences form an initial algebra with respect to weak enrichment. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2307_00442 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | Homotopy theories of $(\infty, \infty)$-categories as universal fixed points with respect to enrichment Goldthorpe, Zach Category Theory 18D20, 18A40, 19D23, 55U35 We show that both the $\infty$-category of $(\infty, \infty)$-categories with inductively defined equivalences, and with coinductively defined equivalences, satisfy universal properties with respect to weak enrichment in the sense of Gepner and Haugseng. In particular, we prove that $(\infty, \infty)$-categories with coinductive equivalences form a terminal object in the $\infty$-category of fixed points for enrichment, and that $(\infty, \infty)$-categories with inductive equivalences form an initial object in the subcategory of locally presentable fixed points. To do so, we develop an analogue of Adámek's construction of free endofunctor algebras in the $\infty$-categorical setting. We prove that $(\infty, \infty)$-categories with coinductive equivalences form a terminal coalgebra with respect to weak enrichment, and $(\infty, \infty)$-categories with inductive equivalences form an initial algebra with respect to weak enrichment. |
| title | Homotopy theories of $(\infty, \infty)$-categories as universal fixed points with respect to enrichment |
| topic | Category Theory 18D20, 18A40, 19D23, 55U35 |
| url | https://arxiv.org/abs/2307.00442 |