The comprehension construction

MaRDI QIDQ3121023zbMATH OpenFDO

Authors Emily Riehl, Dominic Verity

Publication date 19 March 2019

Full work available at URL https://arxiv.org/abs/1706.10023

zbMATH Keywords

\(\infty\)-categoriescomprehensionstraighteningunstraighteningYoneda embedding

Mathematics Subject Classification ID

Abstract and axiomatic homotopy theory in algebraic topology (55U35)

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 $pcolonEoB$ between $infty$-categories together with a third $infty$-category $A$. The comprehension construction then defines a map from the quasi-category of functors from $A$ to $B$ to the large quasi-category of cocartesian fibrations over $A$ that acts on $fcolonAoB$ by forming the pullback of $p$ along $f$. 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 $B$ on the fibres of $p$ and use this to prove that the Yoneda embedding is fully faithful, providing an explicit equivalence between a quasi-category and the homotopy coherent nerve of a Kan-complex enriched category.

Recommendations

• Construction of sentences with specific interpretability properties
• scientific article; zbMATH DE number 29775
• Compositional reasoning
• Constructive Ackermann's interpretation
• The theory of compositionals

Cites work

• A Cartesian presentation of weak \(n\)-categories
• A model category structure on the category of simplicial categories
• A model for the homotopy theory of homotopy theory
• Abstract homotopy theory and generalized sheaf cohomology
• Categorical homotopy theory
• Completeness results for quasi-categories of algebras, homotopy limits, and related general constructions
• Higher Topos Theory (AM-170)
• scientific article; zbMATH DE number 3512374 (Why is no real title available?)
• Mapping spaces in quasi-categories
• On the structure of simplicial categories associated to quasi-categories
• Rigidification of quasi-categories
• Yoneda structures from 2-toposes

Cited in

(10)

• Exhaustive interpretation of complex sentences
• Recognizing quasi-categorical limits and colimits in homotopy coherent nerves
• On the construction of limits and colimits in \infty-categories
• The Operadic Nerve, Relative Nerve, and the Grothendieck Construction
• A counterexample in quasi-category theory
• An elementary proof of the naturality of the Yoneda embedding
• On straightening for Segal spaces
• Cartesian exponentiation and monadicity
• 2-Cartesian fibrations. II: A Grothendieck construction for -bicategories
• Cosmological unstraightening

This page was built for publication: The comprehension construction

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