Jonathan Weinberger explores two-sided cartesian fibrations in synthetic (∞, 1)-categories. The content delves into the development of this theory, including characterizations such as Chevalley criteria and closure properties. The study follows Riehl–Shulman's work in simplicial homotopy type theory and extends concepts from previous research on higher category theory. Key topics covered include cocartesian and cartesian families, Segal types, Rezk spaces, fibered Yoneda Lemma, and more. The text provides detailed insights into the structure and significance of these fibrations within the context of mathematical category theory.
Na inny język
z treści źródłowej
arxiv.org
Głębsze pytania