REVIEW 1 major objections 6 minor 17 references
Cosmological Unstraightening
T0 review · 1 major / 6 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read The paper proves unstraightening is model-independent: presheaf and fibration ∞-cosmoi are biequivalent in every ∞-cosmos of (∞,1)-categories.
desk verdict A real generalization of unstraightening to all infinity-cosmoi, built on the author's prior simplicial-space machinery; worth a serious referee, but check the cited Reedy fibration characterizations. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The central object is the simplicially enriched lift sUn_S (and its marked counterpart sUn^+_S) of unstraightening to simplicial spaces, right adjoint to the lifted straightening sSt_S. The carrier of the argument is the theorem that (sSt_S, sUn_S) is a simplicially enriched Quillen equivalence between the contravariant model structure on simplicial spaces over S and the projective model structure on functors C[S]^op → sSet; the marked version does the same for Cartesian fibrations. Because the adjunction is simplicially enriched, it induces a cosmological biequivalence of ∞-cosmoi, and the existing cosmological biequivalence Und: K → QCat transfers it to every ∞-cosmos of (∞,1)-categories.
What would settle it
Find a simplicial space S and a Reedy fibration over S whose restriction along i_1^* is a right fibration but which is not itself a right fibration; that would refute the cited characterization and break Theorem 3.2. Alternatively, exhibit an ∞-cosmos K of (∞,1)-categories and an ∞-category C for which Fun(C_K[C]^op, Kan) and RFib_K(C) are not connected by a zig-zag of cosmological biequivalences.
Extended reading notes
Core claim
The paper's central claim is that for any ∞-cosmos K of (∞,1)-categories and any ∞-category C in K, there are cosmological biequivalences Fun(C_K[C]^op, Kan) ≃ RFib_K(C) and Fun(C_K[C]^op, 1-Comp)^core ≃ Cart_K(C)^core, connected by a natural zig-zag of ∞-cosmoi; when K is complete Segal spaces, Segal categories, or 1-complicial sets, the zig-zag collapses to a direct biequivalence. A cosmological biequivalence is a fully faithful, essentially surjective enriched functor preserving fibrations and limits. The proof obtains this by lifting the original quasi-categorical straightening and unstraightening functors to simplicial spaces, proving the lifted pair is a simplicially enriched Quillen equivalence, and then passing to underlying ∞-cosmoi.
Load-bearing premise
The proof leans on the previously established fact that a Reedy fibration over a simplicial space is already a right or Cartesian fibration whenever its restriction along the inclusion of simplicial sets is; if that detection fails for some base space, the lifting argument in Theorems 3.2 and 3.7 collapses.
Editorial extensions
If this is right
- Unstraightening becomes a model-independent theorem: any ∞-categorical construction that uses right or Cartesian fibrations to encode presheaves can be carried out in quasi-categories, complete Segal spaces, Segal categories, or 1-complicial sets with equivalent results.
- Because the Quillen equivalences are simplicially enriched, the induced adjoint equivalence of underlying quasi-categories is obtained by applying the homotopy coherent nerve, avoiding the computationally hard general construction of adjoint equivalences from Quillen equivalences.
- Choosing a quasi-pseudoinverse of the underlying quasi-category functor turns the natural zig-zag into a quasi-pseudofunctor biequivalence that preserves and reflects ∞-categorical properties, so the fibrational and presheaf perspectives become interchangeable.
- For complete Segal spaces, Segal categories, and 1-complicial sets the result is a direct cosmological biequivalence, not merely a zig-zag, giving explicit unstraightening functors in those models.
- The Cartesian version is currently enriched over Kan complexes; a quasi-categorically enriched version would require a model structure on marked simplicial spaces conjectured in Section 4, so full quasi-categorical enrichment remains open.
Reading between the lines
- If the paper is right, straightening and unstraightening should be viewed as a property of the theory of (∞,1)-categories rather than of quasi-categories; a natural next test is whether the biequivalence is compatible with the Yoneda embedding, sending representable presheaves to representable fibrations in all models.
- The open conjecture in Section 4 suggests a concrete route to a stronger result: a working model structure on marked simplicial spaces for double ∞-categories would likely yield a quasi-categorically enriched unstraightening, making the Cartesian zig-zag direct in all ∞-cosmoi.
- One could try to prove that the zig-zag for general K is actually a direct biequivalence by choosing the quasi-pseudoinverse of Und canonically, though the paper only establishes directness for the three named models.
- A testable consequence in complete Segal spaces is that the explicit direct unstraightening should agree with the traditional construction after applying the nerve, up to natural equivalence; checking this would confirm the model-independence claim computationally.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves a model-independent unstraightening theorem. For a fixed simplicial set S, the author defines simplicially enriched lifts sSt_S and sSt+_S of Lurie's straightening functors from simplicial sets to simplicial spaces, and shows in Theorems 3.2 and 3.7 that they form simplicially enriched Quillen equivalences between the contravariant/Cartesian model structures on simplicial spaces over S and the projective model structures on functor categories. From this, the paper derives cosmological biequivalences between the ∞-cosmoi of presheaves and of right fibrations (Corollary 3.3), and of cores for Cartesian fibrations (Corollary 3.8). Using the fact that every ∞-cosmos of (∞,1)-categories is cosmologically biequivalent to the ∞-cosmos of quasi-categories via evaluation at the terminal object, the author obtains natural zig-zags of cosmological biequivalences for all such K (Corollaries 3.5 and 3.10), and direct biequivalences for complete Segal spaces, Segal categories, and 1-complicial sets (Corollaries 3.6 and 3.11). Section 4 discusses the limitation that a quasi-categorically enriched version for Cartesian fibrations is not established, tying it to an open conjecture about model structures on marked simplicial spaces.
Significance. If the central proofs are correct, this is a significant contribution: it lifts unstraightening from a quasi-categorical construction to a biequivalence between ∞-cosmoi, thereby making the straightening/unstraightening phenomenon model-independent in the sense of Riehl–Verity. The paper is concise, cites precise prior results (including the author's own published work on simplicial spaces) for the delicate Reedy fibration characterizations, and is admirably explicit about the core-level limitation in the Cartesian case. The remark on the computational advantages of simplicially enriched Quillen equivalences for derived adjunctions is a useful concrete benefit. The main results, if sound, would be a valuable reference for higher category theory.
major comments (1)
- [Theorem 3.2, proof] In the proof of Theorem 3.2, the sentence "Finally, p∗1 is a right Quillen equivalence and so reflects weak equivalences and fibrations between fibrant objects" is incorrect: in equation (2.3), p1^* is the left adjoint of i1^*, so p1^* is a left Quillen equivalence, not a right Quillen equivalence. The subsequent deduction that sUn_S preserves weak equivalences and fibrations between fibrant objects relies on the reflection property of the right Quillen equivalence i1^*, since Un_S = i1^* sUn_S. The same issue is carried over to the proof of Theorem 3.7 via the phrase "Similarly." Please correct the functor name (or justify why p1^* has the stated reflection property, which is nonstandard for a left Quillen equivalence).
minor comments (6)
- [Corollary 3.11] The domain of sUn+_K,S is written as Fun(C_K[C]^op, Kan)^core in the opening sentence of the corollary, but the displayed formula correctly uses Fun(C_K[C]^op, 1−Comp)^core; the latter is clearly the intended domain.
- [Theorem 3.7, proof] The proof says "We follow the same steps as in the proof of Equation (3.2)," but there is no Equation (3.2); this should refer to the proof of Theorem 3.2.
- [Abstract] The abstract's phrase "their corresponding notions of fibrations and presheaves are biequivalent ∞-cosmoi" is slightly imprecise for Cartesian fibrations, since the main results establish the biequivalence only at the level of cores; the displayed equations in the abstract are accurate, but the prose could be adjusted to avoid overstatement.
- [Section 2.2] There is a duplicated word in "as explained in the the beginning of [Lur09, Subsection 3.2.4]"; please remove the second "the."
- [Theorem 3.2, proof] The first paragraph of the proof says "First we show the functor sUn_S takes fibrant objects to Reedy fibrations," but the argument that follows actually shows that sUn_S preserves fibrations (by showing sSt_S sends generating trivial cofibrations to trivial cofibrations); the logical structure would be clearer if this were stated explicitly.
- [Section 3.1, equation (3.1)] The definition of sSt_S as the "unique simplicially enriched lift" of St_S is terse; a brief explanation of why specifying values on T×∆[n]→S determines a simplicially enriched functor (e.g., via generation under tensors and colimits) would help the reader.
Circularity Check
No significant circularity: the Quillen-equivalence proof is a genuinely new lifting argument, and the cited self-results are independent prior characterizations.
full rationale
The derivation is not circular. Theorem 3.2 constructs sSt_S as the unique simplicially enriched lift of Lurie's St_S along p1^*, and defines sUn_S as its right adjoint; the proof verifies directly that sUn_S sends fibrant objects to Reedy fibrations whose i1^*-restriction is a right fibration, and then invokes [Ras23a, Theorem 1.2] and [Ras23b, Remark B.21] to identify such Reedy fibrations as right fibrations. That cited characterization is a separate published theorem about simplicial spaces; it does not assume Corollary 3.3 or 3.5, and it is used in the exact constant-S setting in which it is stated. The Quillen-equivalence conclusion is obtained by 2-out-of-3 from Lurie's straightening equivalence (2.1) and the author's earlier contravariant Quillen equivalence (2.3), both of which are prior results independent of the target. The transfer to arbitrary ∞-cosmoi in Corollaries 3.5 and 3.10 relies on the Riehl–Verity stability results cited in Section 2.4, not on the conclusion being assumed. The explicit limitation in Section 4—that the Cartesian case is only established at the level of cores and that a quasi-categorically enriched version would require Conjecture 4.1—is a genuine scope restriction rather than a hidden circular premise. No equation in the paper defines its output in terms of its input, and no fitted parameter is relabeled as a prediction. The self-citations are load-bearing in the proof, but they are independent published results and therefore do not constitute circularity.
Assumptions & free parameters
assumptions (6)
- domain assumption The contravariant model structure on simplicial spaces exists and the functors p1* and i1* form a Quillen equivalence with the contravariant model structure on simplicial sets.
- domain assumption A Reedy fibration in (sS/S)_contra whose restriction along i1* is a right fibration is itself a right fibration.
- domain assumption The Cartesian model structure on marked simplicial spaces exists and (p1+)*, (i1+)* form a Quillen equivalence with the Cartesian model structure on marked simplicial sets.
- domain assumption A Reedy fibration in sS+/S is a Cartesian fibration if its image under (i1+)* is a Cartesian fibration.
- domain assumption Every infinity-cosmos of (infinity,1)-categories K is cosmologically biequivalent to the infinity-cosmos of quasi-categories via Und = Hom_K(1,-).
- standard math Lurie's straightening-unstraightening adjunctions (2.1) and (2.2) are Quillen equivalences between the relevant model structures.
Cite this review
Pith. "Pith review of Cosmological Unstraightening." pith.science (2026). https://pith.science/paper/IFFFYG3M
@misc{pith2026250516342,
author = {Pith},
title = {Pith review of: Cosmological Unstraightening},
year = {2026},
howpublished = {\url{https://pith.science/paper/IFFFYG3M}},
note = {Machine review of arXiv:2505.16342}
}
abstract
The unstraightening construction due to Lurie establishes an equivalence between presheaves and fibrations, using one prominent model of $(\infty,1)$-categories, namely quasi-categories. In this work we generalize this result by proving that for all $\infty$-cosmoi of $(\infty,1)$-categories in the sense of Riehl and Verity, which includes quasi-categories but also complete Segal spaces or $1$-complicial sets, their corresponding notions of fibrations and presheaves are biequivalent $\infty$-cosmoi via a natural zig-zag of cosmological biequivalences. The major idea that makes this possible is a lift of the quasi-categorical unstraightening construction to a cosmological biequivalence.
Reference graph
Works this paper leans on
-
[1]
On the unicity of the theory of higher categories
Clark Barwick and Christopher Schommer-Pries. On the unicity of the theory of higher categories. J. Amer. Math. Soc. , 34(4):1011--1058, 2021
work page 2021
-
[2]
Higher categories and homotopical algebra , volume 180 of Cambridge Studies in Advanced Mathematics
Denis-Charles Cisinski. Higher categories and homotopical algebra , volume 180 of Cambridge Studies in Advanced Mathematics . Cambridge University Press, Cambridge, 2019
work page 2019
-
[3]
The universal coCartesian fibration
Denis-Charles Cisinski and Hoang Kim Nguyen. The universal cocartesian fibration. arXiv preprint , 2022. arXiv:2210.08945 https://arxiv.org/abs/2210.08945
work page Pith review arXiv 2022
-
[4]
Fibrantly-induced model structures
L \'e onard Guetta, Lyne Moser, Maru Sarazola, and Paula Verdugo. Fibrantly-induced model structures. arXiv preprint , 2023. arXiv:2301.07801 https://arxiv.org/abs/2301.07801
arXiv 2023
-
[5]
A study in derived algebraic geometry
Dennis Gaitsgory and Nick Rozenblyum. A study in derived algebraic geometry. V ol. I . C orrespondences and duality , volume 221 of Mathematical Surveys and Monographs . American Mathematical Society, Providence, RI, 2017
2017
-
[6]
Left fibrations and homotopy colimits
Gijs Heuts and Ieke Moerdijk. Left fibrations and homotopy colimits. Math. Z. , 279(3-4):723--744, 2015
work page 2015
-
[7]
Quasi-categories vs S egal spaces
Andr\' e Joyal and Myles Tierney. Quasi-categories vs S egal spaces. In Categories in algebra, geometry and mathematical physics , volume 431 of Contemp. Math. , pages 277--326. Amer. Math. Soc., Providence, RI, 2007
work page 2007
-
[8]
From fractions to complete S egal spaces
Zhen Lin Low and Aaron Mazel-Gee. From fractions to complete S egal spaces. Homology Homotopy Appl. , 17(1):321--338, 2015
work page 2015
Show all 17 references
-
[9]
Higher topos theory , volume 170 of Annals of Mathematics Studies
Jacob Lurie. Higher topos theory , volume 170 of Annals of Mathematics Studies . Princeton University Press, Princeton, NJ, 2009
2009
-
[10]
Quasi-categories vs
Nima Rasekh. Quasi-categories vs. S egal spaces: C artesian edition. J. Homotopy Relat. Struct. , 16(4):563--604, 2021
2021
-
[11]
Cartesian fibrations of complete S egal spaces
Nima Rasekh. Cartesian fibrations of complete S egal spaces. High. Struct. , 7(1):40--73, 2023
2023
-
[12]
Yoneda lemma for simplicial spaces
Nima Rasekh. Yoneda lemma for simplicial spaces. Appl. Categ. Structures , 31(4):Paper No. 27, 92, 2023
2023
-
[13]
Simplicial structures on model categories and functors
Charles Rezk, Stefan Schwede, and Brooke Shipley. Simplicial structures on model categories and functors. Amer. J. Math. , 123(3):551--575, 2001
2001
-
[14]
The comprehension construction
Emily Riehl and Dominic Verity. The comprehension construction. High. Struct. , 2(1):116--190, 2018
2018
-
[15]
Elements of -Category Theory
Emily Riehl and Dominic Verity. Elements of -Category Theory . Cambridge Studies in Advanced Mathematics. Cambridge University Press, 2022
2022
-
[16]
Covariant model structures and simplicial localization
Danny Stevenson. Covariant model structures and simplicial localization. North-West. Eur. J. Math. , 3:141--203, 2017
2017
-
[17]
Lurie's unstraightening as a weak biequivalence of -cosmoses
Raffael Stenzel. Lurie's unstraightening as a weak biequivalence of -cosmoses. arXiv preprint , 2024. arXiv:2403.01167 https://arxiv.org/abs/2403.01167
2024 arXiv
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.