Cartesian Fibrations and Representability

TL;DR

This paper advances the theory of Cartesian fibrations in $mbda$-category theory by defining representable fibrations, proving a Yoneda lemma, and applying these to complete Segal objects and universal fibrations.

Contribution

It introduces the concept of representable Cartesian fibrations, proves a Yoneda lemma for them, and applies this to characterize complete Segal objects and their equivalences.

Findings

Construction of representable Cartesian fibrations via over-categories

Proof of the Yoneda lemma for representable Cartesian fibrations

Characterization of equivalences of complete Segal objects

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.