The comprehension construction
Emily Riehl, Dominic Verity

TL;DR
This paper introduces the comprehension construction, an analogue of Lurie's unstraightening, which relates functors and cocartesian fibrations in ∞-categories, and demonstrates its applications to Yoneda embeddings and their properties.
Contribution
It constructs the comprehension functor for cocartesian fibrations over ∞-categories and shows its applications to covariant and contravariant Yoneda embeddings.
Findings
The comprehension functor generalizes unstraightening for ∞-categories.
The Yoneda embedding is proven to be fully faithful using the comprehension construction.
Explicit equivalences between ∞-categories and enriched homotopy coherent nerves are established.
Abstract
In this paper we construct an analogue of Lurie's "unstraightening" construction that we refer to as the "comprehension construction". Its input is a cocartesian fibration between -categories together with a third -category . The comprehension construction then defines a map from the quasi-category of functors from to to the large quasi-category of cocartesian fibrations over that acts on by forming the pullback of along . To illustrate the versatility of this construction, we define the covariant and contravariant Yoneda embeddings as special cases of the comprehension functor. We then prove that the hom-wise action of the comprehension functor coincides with an "external action" of the hom-spaces of on the fibres of and use this to prove that the Yoneda embedding is fully faithful, providing an…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsHomotopy and Cohomology in Algebraic Topology · Algebraic structures and combinatorial models · Intracranial Aneurysms: Treatment and Complications
