Synthetic fibered (∞,1)-category theory

Buchholtz, Ulrik; Weiberger, Jonathan

Abstract

We study cocartesian fibrations in the setting of the synthetic (∞,1)-category theory developed in simplicial type theory introduced by Riehl and Shulman. Our development culminates in a Yoneda Lemma for cocartesian fibrations.

Citation

Buchholtz, U., & Weiberger, J. (2023). Synthetic fibered (∞,1)-category theory. Higher Structures, 7(1), 74-165. https://doi.org/10.21136/HS.2023.04

• Journal Article Type: Article
• Acceptance Date: Sep 13, 2022
• Online Publication Date: May 21, 2023
• Publication Date: May 21, 2023
• Deposit Date: Oct 11, 2024
• Publicly Available Date: Oct 29, 2024
• Electronic ISSN: 2209-0606
• Peer Reviewed: Peer Reviewed
• Volume: 7
• Issue: 1
• Pages: 74-165
• DOI: https://doi.org/10.21136/HS.2023.04
• Public URL: https://nottingham-repository.worktribe.com/output/39730596
• Publisher URL: https://articles.math.cas.cz/10.21136/HS.2023.04