Exponentiable functors between synthetic $\infty$-categories
Fuente:
arXiv
Enregistré dans:
| Auteur principal: | |
|---|---|
| Format: | Preprint |
| Publié: |
2024
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866915631361687552 |
|---|---|
| author | Bardomiano-Martínez, César |
| author_facet | Bardomiano-Martínez, César |
| contents | We study exponentiable functors in the context of synthetic $\infty$-categories. We do this within the framework of simplicial Homotopy Type Theory of Riehl and Shulman. Our main result characterizes exponentiable functors. In order to achieve this, we explore Segal type completions. Moreover, we verify that our result is semantically sound. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2407_18072 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Exponentiable functors between synthetic $\infty$-categories Bardomiano-Martínez, César Category Theory Algebraic Topology 18N60 (Primary) 18N45 18D70, 03B38 (Secondary) We study exponentiable functors in the context of synthetic $\infty$-categories. We do this within the framework of simplicial Homotopy Type Theory of Riehl and Shulman. Our main result characterizes exponentiable functors. In order to achieve this, we explore Segal type completions. Moreover, we verify that our result is semantically sound. |
| title | Exponentiable functors between synthetic $\infty$-categories |
| topic | Category Theory Algebraic Topology 18N60 (Primary) 18N45 18D70, 03B38 (Secondary) |
| url | https://arxiv.org/abs/2407.18072 |