Los puntos clave no están disponibles para este artículo en este momento.
We provide a short and reasonably self-contained proof of Lurie’s straightening equivalence, relating cartesian fibrations over a given ∞ -category S S with contravariant functors from S S to the ∞ -category of small ∞ -categories.
Hebestreit et al. (Thu,) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: