Fibrations and Yoneda's lemma in an $\infty$-cosmos (1506.05500v3)

Abstract: We use the terms $\infty$-categories and $\infty$-functors to mean the objects and morphisms in an $\infty$-cosmos: a simplicially enriched category satisfying a few axioms, reminiscent of an enriched category of fibrant objects. Quasi-categories, Segal categories, complete Segal spaces, marked simplicial sets, iterated complete Segal spaces, $\theta_n$-spaces, and fibered versions of each of these are all $\infty$-categories in this sense. Previous work in this series shows that the basic category theory of $\infty$-categories and $\infty$-functors can be developed only in reference to the axioms of an $\infty$-cosmos; indeed, most of the work is internal to the homotopy 2-category, a strict 2-category of $\infty$-categories, $\infty$-functors, and natural transformations. In the $\infty$-cosmos of quasi-categories, we recapture precisely the same category theory developed by Joyal and Lurie, although our definitions are 2-categorical in natural, making no use of the combinatorial details that differentiate each model. In this paper, we introduce cartesian fibrations, a certain class of $\infty$-functors, and their groupoidal variants. Cartesian fibrations form a cornerstone in the abstract treatment of "category-like" structures a la Street and play an important role in Lurie's work on quasi-categories. After setting up their basic theory, we state and prove the Yoneda lemma, which has the form of an equivalence between the quasi-category of maps out of a representable fibration and the quasi-category underlying the fiber over its representing element. A companion paper will apply these results to establish a calculus of modules between $\infty$-categories, which will be used to define and study pointwise Kan extensions along $\infty$-functors.