Cartesian Fibrations and Representability
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 -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.
Keywords
Cite
@article{arxiv.1711.03670,
title = {Cartesian Fibrations and Representability},
author = {Nima Rasekh},
journal= {arXiv preprint arXiv:1711.03670},
year = {2021}
}
Comments
20 Pages, split parts of the previous version of this paper into their other papers (arXiv:2102.05190 and arXiv:2102.05192). Comments welcome!