Pith. sign in

REVIEW 4 major objections 4 minor 35 references

This paper proves that cartesian fibrations of (∞,∞)-categories admit several equivalent characterizations, and builds a Grothendieck construction for oriented functors into ∞-categories.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

T0 review · deepseek-v4-flash

2026-08-01 15:26 UTC pith:C3GJQ5E5

load-bearing objection Serious, coherent framework for fibrations of (∞,∞)-categories, but the headline Grothendieck construction is asserted rather than proved, and the foundations sit on a large pile of unpublished self-citations. the 4 major comments →

arxiv 2607.18418 v1 pith:C3GJQ5E5 submitted 2026-07-20 math.AT math.CT

Fibrations in Oriented Category Theory

David Gepner , Hadrian Heine This is my paper
classification math.AT math.CT MSC 18N60
keywords fibrations of ∞-categoriesoriented categoriesGray tensor productGrothendieck constructioncartesian fibrationscocartesian fibrationsoriented simplicesoriented pullback
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper is trying to make fibration theory work for (∞,∞)-categories—the setting where there are cells of every dimension and no requirement that they be invertible. It proves that a functor is a cartesian fibration if and only if it lifts cells in every dimension, if and only if it lifts oriented and antioriented simplices, and if and only if its morphism ∞-categories are cocartesian fibrations; these equivalences give working criteria for detecting fibrations. It then shows that categories of fibrations over a fixed base carry natural oriented category structures, that oriented pullbacks are two-sided fibrations, and that free and universal fibrations exist. The upshot is a Grothendieck construction: oriented functors into the ∞-category of ∞-categories correspond to cocartesian fibrations, uniquely extending the classical correspondence and reducing to it for ordinary ∞-categories. If true, this is the missing infrastructure for doing descent, lax limits, and straightening/unstraightening at all categorical dimensions simultaneously.

Core claim

On its own terms, the central claim is Theorem 4.4.3: for a functor p:Y→X of ∞-categories, being a cartesian fibration is equivalent to (1) the existence of p-cartesian lifts for all n-cells with prescribed target; (2) filling every source-extension square of oriented and antioriented n-simplices by a p-cocartesian simplex; and (3) lifting 1-arrows with prescribed target while every induced functor on morphism ∞-categories is a cocartesian fibration, compatibly under pre/postcomposition. The companion statement Theorem 5.3.8 asserts that there is a unique Grothendieck construction, a map of cartesian fibrations, that sends each oriented category C to cocartesian fibrations over C by pullback

What carries the argument

The engine is oriented category theory: categories enriched in the ∞-category of ∞-categories under the Gray tensor product, the monoidal structure that keeps track of which higher cells are directed. Oriented pullbacks are defined through oplax functor categories, and oriented/antioriented simplices form a dense subcategory of ∞Cat used to test fibrancy. Theorem 4.2.3 is the pivotal mechanism: it says oriented pullbacks of cocartesian fibrations are cocartesian fibrations, and describes the cocartesian 1-cells in terms of cartesian 2-cells; from this the paper derives stability under oriented pullback, free (enveloping) fibrations, the universal cocartesian fibration, and ultimately the ori

Load-bearing premise

The load-bearing premise is that the previously developed framework of oriented category theory—enrichment in the Gray tensor product, the morphism-object formulas for oplax functor categories, and the lifting theorem for squares of cocartesian fibrations used in §4.2—is valid at the level of (∞,∞)-categories; if any of that imported apparatus fails, the stability, free-fibration, and Grothendieck-construction theorems would have to be re-examined.

What would settle it

Try to construct a functor p:Y→X that admits cartesian lifts of all 1-morphisms and whose morphism ∞-category functors are all cocartesian fibrations, but whose pullback along some oriented simplex fails the required lift of a 2-morphism. Theorem 4.4.3 predicts no such functor exists; exhibiting one would refute the central equivalence. Equivalently, check Theorem 4.2.3 concretely: two square diagrams of cocartesian fibrations over the same target forming an oriented pullback square that is not an n-cocartesian fibration would break the proof of stability.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

  • Fibration categories over a fixed ∞-category carry antioriented and oriented structures, so fibrations can be composed and mapped in ways that respect the direction of higher cells.
  • The free (enveloping) fibration of any functor X→S is the oriented pullback X ⃗×_S S, so every functor can be formally resolved into a fibration by an explicit construction.
  • Oriented pullbacks are bifibrations, generalizing the arrow bifibration of oplax functor categories; cartesian fibrations are stable under this non-symmetric pullback.
  • There is a universal oriented cocartesian fibration, and pulling back along it defines a Grothendieck construction that is the unique map of cartesian fibrations extending the classical construction.
  • A functor can be certified as a cartesian fibration by testing against oriented and antioriented simplices, giving a finite-dimensional-looking criterion even in the infinite-dimensional setting.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The morphism-∞-category characterization gives a dimension-reduction recipe: to check fibrancy, verify 1-cell lifts and then induct over morphism objects, which are one dimension lower. This suggests an implementable test in any model of (∞,∞)-categories.
  • Because oriented pullbacks are bifibrations, descent-style arguments that normally use ordinary pullback stability should re-run in the oriented setting; the framework appears designed to transfer classical descent to all dimensions.
  • The uniqueness clause of the Grothendieck construction hints at a full straightening/unstraightening equivalence for oriented functors, not just the limiting map; that would be a natural sequel.
  • A testable extension: restrict the construction to a dense subcategory such as oriented simplices and ask whether the resulting Grothendieck constructions assemble into the same integral; the paper's results predict they do.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

4 major / 4 minor

Summary. The paper develops a theory of fibrations for (∞,∞)-categories and for oriented categories, where the latter are categories enriched in the Gray tensor product (∞Cat,⊠). The main claims are: several equivalent characterizations of cartesian fibrations of ∞-categories (Theorem 1.7.1/4.4.3), the existence of oriented/enriched structures on categories of fibrations (Theorem 1.7.2/5.1.8), the stability of fibrations under oriented pullback and the construction of free fibrations (Theorems 1.7.3–1.7.6), and a Grothendieck construction for oriented cocartesian fibrations (Theorem 1.7.7/5.3.8). The approach is heavily foundational: it imports a large amount of oriented category theory, Gray tensor theory, and enriched ∞-category theory from earlier papers by the same authors, several of which are unpublished or forthcoming.

Significance. If the results hold, this would be a substantial contribution to higher categorical fibration theory: it provides a uniform treatment of lax and oplax phenomena via oriented category theory, gives explicit lifting-characterizations of higher fibrations, and proposes a Grothendieck construction for (∞,∞)-categories. The paper contains many explicit and potentially useful statements, such as the oriented-simplex lifting criteria in Theorem 4.4.3 and the description of the morphism ∞-categories of oplax functor categories in Corollary 2.3.24. However, the verification of these claims is seriously incomplete: the headline Grothendieck construction is asserted without proof, and several load-bearing technical results are either only sketched or imported from unpublished sources. The significance is therefore conditional on a substantial amount of missing or deferred mathematics.

major comments (4)
  1. [§5.3, Theorem 5.3.8 (and §1.7, Theorem 1.7.7)] The central Grothendieck construction is stated as a unique map of cartesian fibrations over ⊠̂Cat, but no proof is given. The text after Theorem 5.3.7 simply asserts the theorem, with no argument for functoriality of F ↦ F^*(∞Cat∗//oplax→∞Cat) over the full bioriented category and no derivation of uniqueness from its value on ∞Cat. Theorem 4.5.6, which is invoked elsewhere for uniqueness, is an adjunction for ordinary ∞-categories; the required right-enriched universal property is not stated or transferred. Since Theorem 1.7.7 is one of the two results highlighted in the introduction, this omission is load-bearing. The theorem should either be proved, or the paper should explicitly state that the proof is deferred to [13] and the claims in §1.7 adjusted accordingly.
  2. [§4.2, Theorem 4.2.3] The proof that oriented pullbacks of cocartesian fibrations are cocartesian fibrations is too compressed to be checked. In the n=1 case the proof reduces to degenerate squares and asserts that the resulting squares are maps of 1-cocartesian fibrations; the identification of cocartesian morphisms in A¯⃗×CB in terms of cartesian 2-cells in C is not fully derived. The induction step invokes 'the dual of (1) for n' and 'assuming (the dual of) (2) for n' without establishing the requisite preservation properties in enough detail. This theorem is used throughout the paper for slice fibrations and pullback stability, so a complete proof, or precise references to the relevant statements in [12] or [15], is essential.
  3. [§2.3, Corollary 2.3.24 and Proposition 2.3.22] The morphism-object formula for oriented pullbacks, imported as [12, Prop. 3.8.12] and [12, Cor. 3.8.13], is foundational for nearly everything that follows: it is used to identify morphism ∞-categories in A¯⃗×CB, to prove that oriented pullbacks are bifibrations (Theorem 4.1.5), and to compute morphism objects in the oriented universal fibration (Proposition 5.3.6). Because [12] is an unpublished preprint by the same authors, the verification of the present paper's central theorems is contingent on a large body of unrefereed work. At minimum, the precise assumptions and proof dependencies should be listed; ideally, the most load-bearing of these statements should be reproved here.
  4. [§5.3, Proposition 5.3.6 and Theorem 5.3.7] The proof of Theorem 5.3.7 shows that ∞Cat∗//→∞Cat is a cocartesian fibration of bioriented categories and that its pullback over ∞Cat is equivalent to the classical universal cocartesian fibration. However, this does not by itself establish the uniqueness asserted in Theorem 5.3.8: uniqueness over ⊠̂Cat requires a universal property for the oriented universal fibration among maps of cartesian fibrations over the whole bioriented category, not just over ∞Cat. No such universal property is formulated. The transition from the ∞-categorical adjunction of §4.5 to the oriented statement is a nontrivial enrichment step that is missing.
minor comments (4)
  1. [Throughout] There are numerous typos and copy-editing issues, e.g. 'cocartesiam' in Theorem 1.7.6, 'bifibations' in §1.5, 'antoriented' in Remark 5.3.9, and 'By adjointess' in Remark 2.2.35. The paper would benefit from a careful proofreading pass.
  2. [§1.9 and §2.2] The notation D1 is used both for the walking arrow and for the 1-disk; although the distinction is arguably clear from context, it creates unnecessary ambiguity in a paper where dimension plays a central role. A different symbol for the walking arrow (e.g. [1] or Δ1) would be clearer.
  3. [Theorem 1.7.6] The displayed statement of Theorem 1.7.6 is difficult to read because of the formatting of the diagrams and the repeated use of A, B, C, D, E, F in both the diagrams and the text. The statement should be reformatted so that the maps of cocartesian fibrations and the oriented pullbacks are unambiguous.
  4. [§5.2, Definition 5.2.1] The definition of a cartesian fibration of oriented categories requires both an enriched fibration condition and a condition on morphism ∞-categories. It would be helpful to state explicitly, at the point of definition, why the ordinary enriched condition alone is insufficient and to give a short example contrasting this with the V-enriched notions of §3.1.

Circularity Check

0 steps flagged

No circularity by construction; the main technical equivalences are internally proved. The oriented Grothendieck construction (Thm 5.3.8) is asserted without proof and is a completeness gap, not a circular reduction.

full rationale

I walked the derivation chain from Definitions 3.2.6/3.2.9 through Theorems 4.4.3, 4.2.3, 4.3.14, 4.1.5, 5.1.8, and 5.3.7. The equivalences are justified by explicit lifting, pullback, and adjointness arguments in the text rather than by assuming the conclusion. The only place where a headline claim is not derived is Theorem 5.3.8 (Theorem 1.7.7): it states that the oriented Grothendieck construction exists and is the unique map ∫ : ⊠̂Cat//oplax∞Cat → ⊠côCart of cartesian fibrations over ⊠̂Cat sending ∞Cat to ∞Cat∗//oplax→∞Cat, but no proof or cited lemma for this functoriality/uniqueness is supplied. That is an incompleteness in the manuscript, not an equality of output with input; the nearest proved statements (Prop 4.6.4, Thm 5.3.7) concern representability and universality of ∞Cat∗//oplax, and do not by themselves reduce Thm 5.3.8 to the definitions. The paper also leans heavily on the authors' own preprints [12], [15], and [21] for oriented category theory, the Gray tensor product, and bienriched ∞-categories. This reliance is load-bearing in a validation sense, but I found no place where a conclusion is defined in terms of itself or where a fitted parameter is renamed a prediction. Hence the honest finding is no significant circularity, with score 1 rather than 0 because the central oriented Grothendieck claim is left as an unsupported assertion and much of the framework is imported from same-author preprints.

Axiom & Free-Parameter Ledger

0 free parameters · 4 axioms · 1 invented entities

The central results rest on a massive tower of prior and self-cited developments: enriched ∞-category theory, Gray tensor product and its symmetric monoidal structure, and complete Segal Θ-space machinery. All are taken as background assumptions. No free parameters or fitted constants appear, because the work is purely structural mathematics. The main 'new entity' is the oriented category framework itself, which carries no independent empirical evidence.

axioms (4)
  • domain assumption The whole theory of enriched ∞-category theory, including bienriched categories, is sound (from [21]).
    Heavily invoked in §2 and §5; no proof is included here.
  • domain assumption The oriented-category framework with Gray tensor product and its theorems (e.g. Theorem 2.3.26) are correct (from [12], [15]).
    The entire notion of oriented category and the oriented pullback are imported from [12].
  • domain assumption The density of oriented cubes and simplices in ∞Cat and the Gray tensor product construction are available (Theorems 2.2.29, 2.2.31, Corollary 2.2.32).
    Imported from [15] with no proof included.
  • standard math Existence of a hierarchy of set-theoretic universes and presentability machinery.
    Standard in category theory; used implicitly throughout.
invented entities (1)
  • Oriented category theory / orientals with antioriented variants no independent evidence
    purpose: Systematic framework for lax phenomena and fibrations of (∞,∞)-categories.
    No independent falsifiable/predictive evidence is given; it is a theoretical framework built in prior work by the same authors.

pith-pipeline@v1.3.0-alltime-deepseek · 66448 in / 7225 out tokens · 51184 ms · 2026-08-01T15:26:47.558361+00:00 · methodology

0 comments
read the original abstract

We study fibrations of higher categories from the perspective of oriented category theory, a framework which accounts for lax phenomena in higher category theory via systematic enrichment in the Gray tensor product. We give several equivalent characterizations of fibrations of $(\infty,\infty)$-categories and oriented categories, and show that categories of fibrations naturally organize to form oriented categories. We study the interaction between fibrations and oriented pullbacks and construct higher-categorical versions of free fibrations and universal fibrations. The latter give rise to Grothendieck constructions for fibrations of $(\infty,\infty)$-categories and oriented categories.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

35 extracted references · 13 linked inside Pith

  1. [1]

    On local fibrations of ( ∞, 2)-categories

    Fernando Abellán. On local fibrations of ( ∞, 2)-categories. Algebraic & Geometric Topology, 26(5):1681– 1747, 2026

    2026

  2. [2]

    Free fibrations, lax colimits and kan extensions for (∞, 2)-categories

    Fernando Abellán, Rune Haugseng, and Louis Martini. Free fibrations, lax colimits and kan extensions for (∞, 2)-categories. arXiv preprint arXiv:2602.07604 , 2026

    arXiv 2026

  3. [3]

    2-cartesian fibrations ii: A grothendieck construction for- bicategories

    Fernando Abellán and Walker H Stern. 2-cartesian fibrations ii: A grothendieck construction for- bicategories. Journal of the Institute of Mathematics of Jussieu , 25(2):663–747, 2026

    2026

  4. [4]

    Straightening for lax transformations and adjunctions of (∞, 2)-categories

    Fernando Abellán, Andrea Gagna, and Rune Haugseng. Straightening for lax transformations and adjunctions of (∞, 2)-categories. arXiv: 2404.03971 , 2024

    Pith/arXiv arXiv 2024

  5. [5]

    Lax functorialities of the comma construction for -categories

    Dimitri Ara and Léonard Guetta. Lax functorialities of the comma construction for -categories. Advances in Mathematics , 488:110762, 2026

    2026

  6. [6]

    Fibrations of ∞-categories

    David Ayala and John Francis. Fibrations of ∞-categories. High. Struct. , 4(1):168–265, 2020

    2020

  7. [7]

    On the straightening of every functor

    Thomas Blom. On the straightening of every functor. arXiv:2408.16539, 2024

    arXiv 2024

  8. [8]

    Cubes are dense in (∞, ∞)-categories

    Tim Campion. Cubes are dense in (∞, ∞)-categories. arXiv: 2209.09376 , 2022

    Pith/arXiv arXiv 2022

  9. [9]

    Fibrations and lax limits of (∞, 2)-categories

    Andrea Gagna, Yonatan Harpaz, and Edoardo Lanari. Fibrations and lax limits of (∞, 2)-categories. arXiv preprint arXiv:2012.04537 , 2020

    Pith/arXiv arXiv 2012

  10. [10]

    Enriched ∞-categories via non-symmetric ∞-operads

    David Gepner and Rune Haugseng. Enriched ∞-categories via non-symmetric ∞-operads. Adv. Math. , 279:575–716, 2015

    2015

  11. [11]

    Lax colimits and free fibrations in ∞-categories

    David Gepner, Rune Haugseng, and Thomas Nikolaus. Lax colimits and free fibrations in ∞-categories. Documenta Mathematica, 22, 01 2015

    2015

  12. [12]

    Oriented category theory

    David Gepner and Hadrian Heine. Oriented category theory. arXiv preprint arXiv:2510.10504 , 2025

    arXiv 2025

  13. [13]

    The Grothendieck construction in oriented category theory

    David Gepner and Hadrian Heine. The Grothendieck construction in oriented category theory. 2026

    2026

  14. [14]

    Homotopy posets, Postnikov towers, and hypercompletions of ∞- categories

    David Gepner and Hadrian Heine. Homotopy posets, Postnikov towers, and hypercompletions of ∞- categories. arXiv preprint arXiv:2603.09903 , 2026

    Pith/arXiv arXiv 2026

  15. [15]

    An oriented Street-Roberts conjecture

    David Gepner and Hadrian Heine. An oriented Street-Roberts conjecture. 2026

    2026

  16. [16]

    Fibred and cofibred categories

    John W Gray. Fibred and cofibred categories. In Proceedings of the conference on categorical algebra: La Jolla 1965 , pages 21–83. Springer, 1966

    1965

  17. [17]

    Technique de descente et théorèmes d’existence en géométrie algébrique

    Alexander Grothendieck. Technique de descente et théorèmes d’existence en géométrie algébrique. i. généralités. descente par morphismes fidèlement plats. Séminaire Bourbaki, 5:299–327, 1959

    1959

  18. [18]

    Revêtements étales et groupe fondamental (sga 1)

    Alexander Grothendieck and Michele Raynaud. Revêtements étales et groupe fondamental (sga 1). arXiv preprint math/0206203 , 2002

    Pith/arXiv arXiv 2002

  19. [19]

    An equivalence between enriched ∞-categories and ∞-categories with weak action

    Hadrian Heine. An equivalence between enriched ∞-categories and ∞-categories with weak action. Advances in Mathematics , 417:108941, 2023

    2023

  20. [20]

    The higher algebra of weighted colimits

    Hadrian Heine. The higher algebra of weighted colimits. arXiv: 2406.08925 , 2024

    Pith/arXiv arXiv 2024

  21. [21]

    On bi-enriched ∞-categories

    Hadrian Heine. On bi-enriched ∞-categories. arXiv: 2406.09832 , 2024

    Pith/arXiv arXiv 2024

  22. [22]

    An equivalence between two models of ∞-categories of enriched presheaves

    Hadrian Heine. An equivalence between two models of ∞-categories of enriched presheaves. Applied Categorical Structures, 33(1):2, 2025. 74

    2025

  23. [23]

    On the categorification of homology

    Hadrian Heine. On the categorification of homology. arXiv preprint arXiv:2505.22640 , 2025

    Pith/arXiv arXiv 2025

  24. [24]

    A local-global principle for parametrized ∞-categories

    Hadrian Heine. A local-global principle for parametrized ∞-categories. In Forum of Mathematics, Sigma 14 (2026) e8 , volume 14. Cambridge University Press, 2026

    2026

  25. [25]

    Stable homotopy theory of higher categories

    Hadrian Heine. Stable homotopy theory of higher categories. arXiv:2605.05195, 2026

    Pith/arXiv arXiv 2026

  26. [26]

    Yoneda lemma for enriched ∞-categories

    Vladimir Hinich. Yoneda lemma for enriched ∞-categories. Advances in Mathematics, 367:107129, 2020

    2020

  27. [27]

    Categorical theory of (∞,ω )-categories

    Félix Loubaton. Categorical theory of (∞,ω )-categories. arXiv e-prints , pages arXiv–2406, 2024

    2024

  28. [28]

    Higher Algebra

    Jacob Lurie. Higher Algebra. available at http://www.math.harvard.edu/ lurie/

  29. [29]

    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

  30. [30]

    (infinity, 2)-categories and the Goodwillie calculus i

    Jacob Lurie. (infinity, 2)-categories and the Goodwillie calculus i. arXiv preprint arXiv:0905.0462 , 2009

    Pith/arXiv arXiv 2009

  31. [31]

    An (∞,n )-categorical straightening-unstraightening construction

    Lyne Moser, Nima Rasekh, and Martina Rovelli. An (∞,n )-categorical straightening-unstraightening construction. arXiv: 2307.07259 , 2023

    Pith/arXiv arXiv 2023

  32. [32]

    On straightening for Segal spaces

    Joost Nuiten. On straightening for Segal spaces. arXiv: 2108.11431 , 2023

    Pith/arXiv arXiv 2023

  33. [33]

    Cartesian fibrations of complete segal spaces

    Nima Rasekh. Cartesian fibrations of complete segal spaces. arXiv preprint arXiv:2102.05190 , 2021

    Pith/arXiv arXiv 2021

  34. [34]

    Cartesian fibrations and representability

    Nima Rasekh. Cartesian fibrations and representability. Homology, Homotopy & Applications , 24(2), 2022

    2022

  35. [35]

    Fibrations in bicategories

    Ross Street. Fibrations in bicategories. Cahiers de topologie et géométrie différentielle , 21(2):111–160, 1980. 75

    1980