Generalized Chevalley criteria in simplicial homotopy type theory
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_ | 1866910364834201600 |
|---|---|
| author | Weinberger, Jonathan |
| author_facet | Weinberger, Jonathan |
| contents | We provide a generalized treatment of (co)cartesian arrows, fibrations, and functors. Compared to the classical conditions, the endpoint inclusions get replaced by arbitrary shape inclusions. Our framework is Riehl--Shulman's simplicial homotopy type theory which supports the development of synthetic internal $(\infty,1)$-category theory. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2403_08190 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Generalized Chevalley criteria in simplicial homotopy type theory Weinberger, Jonathan Category Theory Logic in Computer Science Algebraic Topology Logic 03B38, 18N50, 18N60, 18N45, 55U35, 18D30 F.4.1 We provide a generalized treatment of (co)cartesian arrows, fibrations, and functors. Compared to the classical conditions, the endpoint inclusions get replaced by arbitrary shape inclusions. Our framework is Riehl--Shulman's simplicial homotopy type theory which supports the development of synthetic internal $(\infty,1)$-category theory. |
| title | Generalized Chevalley criteria in simplicial homotopy type theory |
| topic | Category Theory Logic in Computer Science Algebraic Topology Logic 03B38, 18N50, 18N60, 18N45, 55U35, 18D30 F.4.1 |
| url | https://arxiv.org/abs/2403.08190 |