Cartesian Fibrations and Representability

DOI10.4310/HHA.2022.V24.N2.A7MaRDI QIDQ6293761arXivFDO

Authors Nima Rasekh

Publication date 9 November 2017

Published in arXiv

Full work available at URL https://doi.org/10.4310/HHA.2022.V24.N2.A7

Mathematics Subject Classification ID

Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20)

arXiv classification

math.ATmath.CT

Abstract: 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 $infty$-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 $infty$-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.

This page was built for publication: Cartesian Fibrations and Representability

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6293761)