2017/11/10 by Nima Rasekh, Rasekh, Nima · 1 citation
Mathematics · Medicine · #Algebraic Topology (math.AT) #Category Theory (math.CT) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Intracranial Aneurysms: Treatment and Complications
paper · pdf · doi:10.48550/arxiv.1711.03670
openalex publication_date 2017/11/10 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
We use the complete Segal approach to the theory of Cartesian fibrations to define and study representable Cartesian fibrations, generalizing representable right fibrations which have played a key role in ∞-category theory. In particular, we give a construction of representable Cartesian fibrations using over-categories and prove the Yoneda lemma for representable Cartesian fibration, which generalizes the established Yoneda lemma for right fibrations. We then use the theory of Cartesian fibrations to study complete Segal objects internal to an ∞-category. Concretely, we prove the \it fundamental theorem of complete Segal objects, which characterizes equivalences of complete Segal objects. Finally we give two application of the results. First, we present a method to construct Segal objects and second we study the representability of the universal coCartesian fibration.