Pith. sign in

REVIEW 38 references

This paper introduces oriented colimits — dimension-preserving replacements for lax colimits in higher category theory — and proves that the Gray tensor product is the oriented colimit of a constant functor, supported by a matching Grothend

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-04 03:29 UTC pith:26TOXB57

load-bearing objection A serious, densely argued capstone that introduces oriented colimits and a Gray-enriched straightening equivalence, but the central proof hinges on unpublished companion manuscripts—most worryingly [15]—so it cannot be independently verified from this paper alone.

arxiv 2608.02592 v1 pith:26TOXB57 submitted 2026-08-03 math.AT math.CT

Colimits in Oriented Category Theory

David Gepner , Hadrian Heine This is my paper
classification math.AT math.CT MSC 18N1018N65
keywords oriented colimitsGray tensor productGrothendieck construction(∞,∞)-categorieslax colimitscategorical dimensionstraightening/unstraighteninghigher adjunctions
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.

The paper claims that lax colimits are geometrically defective: gluing along them does not add categorical dimensions, so an n-category and an m-category cannot be glued into an (n+m)-category. It introduces oriented colimits, defined through enrichment in the Gray tensor product, for which the colimit of a constant functor with value C indexed by D is exactly C ⊠ D. The engine is an ∞-categorical Grothendieck construction that respects this enrichment and is proved to be an equivalence between presheaves of (∞,∞)-categories and cocartesian fibrations. If correct, oriented colimits agree with lax colimits in dimensions at most one, give Quillen-style theorems for higher categories, classify higher principal bundles, and encode higher adjunctions via bicartesian fibrations.

Core claim

The paper's central claim is that the correct notion of gluing in higher category theory is the oriented colimit, not the lax colimit. The authors prove that the Gray tensor product C ⊠ D is the oriented colimit of the constant functor D → ∞Cat with value C, and that the Grothendieck construction furnishes an equivalence Fun(S, ∞Cat) ≃ ∞Cat^{cocart}/S for every ∞-category S, in a way compatible with Gray enrichment. This makes dimension additivity a formal property of colimits and supplies a straightening/unstraightening theorem for presheaves of (∞,∞)-categories.

What carries the argument

The central object is the Gray tensor product ⊠ on ∞Cat, a monoidal structure with dimension additivity: when C is an n-category and D an m-category, C ⊠ D is an (n+m)-category. Oriented categories are categories enriched in (∞Cat, ⊠), and oriented colimits are weighted colimits whose weights are built from the oplax and lax weights via this enrichment. The Grothendieck construction is upgraded to an antioriented equivalence, and the proof proceeds by induction on categorical dimension, using localization and the density of oriented disks and cubes.

Load-bearing premise

The load-bearing premise is that the Gray tensor product ⊠ on ∞Cat exists as a presentably monoidal structure with dimension additivity — an n-category tensored with an m-category is an (n+m)-category — a fact the text imports from an unpublished companion manuscript rather than proves here; if that structure fails, the oriented enrichment, the identification of ⊠ with an oriented colimit, and the Gray-enriched Grothendieck equivalence all collapse.

What would settle it

Compute the oriented colimit of the constant functor with value the walking arrow D1 (two objects and one arrow) indexed by D1. The paper predicts a 2-dimensional category, namely the Gray tensor product D1 ⊠ D1, while the lax colimit is the 1-dimensional cartesian square D1 × D1. If an explicit model returns the cartesian square, or if any pair of n- and m-categories yields a Gray tensor product of dimension below n+m, the dimension-additivity premise and Theorem 1.8.1 fail.

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

If this is right

  • The Gray tensor product is realized as a colimit in the oriented sense, so gluing n- and m-categories yields an (n+m)-category rather than a category of dimension max(n,m).
  • The Grothendieck construction gives a Gray-enriched equivalence between functors S → ∞Cat and cocartesian fibrations over S, providing straightening and unstraightening for presheaves of (∞,∞)-categories.
  • In dimensions at most one, oriented colimits coincide with lax colimits, so the new framework extends existing technology instead of replacing it.
  • Higher principal G-bundles over an ∞-category S are classified by maps S → BG, and bicartesian fibrations classify higher adjunctions.
  • Quillen's Theorems A and B admit ∞-categorical versions when formulated through oriented fibers, giving cofinality and fiber-sequence criteria for higher colimits.

Where Pith is reading between the lines

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

  • The paper does not develop descent, but oriented colimits suggest a dimension-graded form of descent: a sheaf of higher categories over a cover could glue to a total object whose dimension is the sum of the local dimensions, rather than their maximum — a testable reworking of the Čech-nerve argument in the introduction.
  • A concrete low-dimensional check of the framework would be to compute the oriented realization of the Bar construction B•(∗, A, ∗) in an explicit model; the paper shows this is homotopy equivalent to the classifying object BA, so such a computation could serve as a model-dependent consistency test.
  • If the Gray-enriched straightening result is correct, it points toward a monoidal structure on functor ∞-categories that may interact with duality phenomena in topological field theory, where higher adjunctions and Gray-type products already play a central role.

Editorial analysis

A structured set of objections, weighed in public.

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

Axiom & Free-Parameter Ledger

0 free parameters · 5 axioms · 3 invented entities

No fitted constants exist in this pure-mathematics paper; the analogues of 'chosen by hand' inputs are the structural choices and imported theorems listed above. The dominant feature is the importation of a large self-built infrastructure: the Gray tensor product and Θ-density theorems from the authors' [15] (unpublished), the embedding into oriented categories from [12], and the bi-enriched category theory from [19]. These are stated as theorems of prior work rather than proven here; for this review they count as axioms, since a reader cannot check them from the present text.

axioms (5)
  • domain assumption The Gray tensor product exists as a presentably monoidal structure on ∞Cat with dimension additivity, descending from convolution on cubical presheaves (Corollary 2.2.29, Remark 2.2.33).
    Credited to Campion [7] and the authors' [15], an unpublished manuscript ('An oriented Street-Roberts conjecture', 2026, no arXiv identifier). The entire oriented theory, including Definition 2.2.43 and Theorem 1.8.1, is built on this structure.
  • domain assumption ∞-categories embed fully faithfully into oriented categories Cat⊠ with the stated characterization of the essential image (Theorem 2.2.68).
    Cited from the authors' [12]. Used to place ∞Cat inside oriented categories and to identify oriented colimits of ∞Cat-valued diagrams (Theorem 4.3.7).
  • standard math The bi-enriched ∞-category machinery: presentable monoidal V, enriched free cocompletion P_V(C), enriched Yoneda lemma, and internal homs of enriched functor categories (Section 2.1).
    Imported from the authors' [19] and Gepner–Haugseng [10]. This is accepted machinery in the field, though the specific formulation is the authors' own.
  • domain assumption For a semicartesian presentably monoidal category V with empty initial object, the functor V−Cat/D1 → V−Cat × V−Cat is a cartesian fibration classifying enriched correspondences (Theorem 4.1.6).
    Proved in the text via double-category arguments. The hypothesis holds for the intended V = (∞Cat, ⊠) since the unit is final and the initial object is empty.
  • domain assumption Density of Θ, oriented cubes, and oriented simplices in ∞Cat, with the Segal-condition characterizations (Theorems 2.2.24, 2.2.26, 2.2.28).
    Cited from the authors' [15]. Used in the inductive reductions (Corollary 4.2.2, Proposition 4.3.1) that power the proof of the main equivalence.
invented entities (3)
  • Oriented colimits (and partial oriented colimits) independent evidence
    purpose: A colimit notion compatible with the Gray tensor product and categorical dimension; the central object of the paper, expected to play the role lax colimits play in the Cartesian world.
    Formally defined via Gray-enriched weights (Definitions 3.2.4, 3.3.6). Falsifiable handles: agreement with lax colimits in dimension ≤ 1, reproduction of the Gray tensor product for constant functors (Theorem 1.8.1), and computation of suspension and oriented pullbacks (§1.4, Example 3.2.6). These checks are stated and partially demonstrated.
  • Oriented/antioriented/bioriented categories (Cat⊠, ⊠Cat, ⊠Cat⊠) independent evidence
    purpose: The enrichment of category theory in the Gray tensor product; the ambient world in which oriented colimits live.
    Imported from the authors' [12]. Externally checkable via the embedding ∞Cat → Cat⊠ (Theorem 2.2.68) and via consistency of the Gray-enriched Grothendieck construction with Loubaton's complicial model [28], which the paper asserts but does not prove as a comparison theorem.
  • Oriented left fiber ∗ ⃗×∞Cat S independent evidence
    purpose: The construction that produces a cocartesian fibration over S from a functor S→∞Cat; the geometric core of the Grothendieck construction in this setting.
    Computable in examples: for representable functors it returns oplax slice categories (Corollary 2.4.6), and for the identity of ∞Cat it yields the universal cocartesian fibration (Corollary 1.8.3). Agreement with the classical 1-categorical Grothendieck construction is an external check.

pith-pipeline@v1.3.0-daily-deepseek · 69125 in / 22138 out tokens · 297985 ms · 2026-08-04T03:29:07.728060+00:00 · methodology

0 comments
read the original abstract

In higher category theory, lax colimits are often understood to be a more useful and powerful generalization of usual (homotopy) colimits, which can be recovered from the lax colimit by a suitable localization. However, lax colimits do not provide the correct notion of gluing from the geometric perspective. Indeed, they are incompatible with the notion of categorical dimension, the Gray tensor product, and other basic geometric operations. In this paper, we develop the theory of oriented colimits, which correct the defects of lax colimits, and agree with lax colimits in dimension less than or equal to one. In order to study oriented colimits, we introduce a version of the Grothendieck construction which is compatible with enrichment in the Gray tensor product. We prove that the Grothendieck construction induces an equivalence between cartesian fibrations and presheaves of $(\infty,\infty)$-categories, which is enriched in the Gray tensor product of $(\infty,\infty)$-categories. Oriented colimits simultaneously generalize the concept of lax colimits and the Gray tensor product, and differ from lax colimits in much the same way in which the Gray tensor product differs from the cartesian product. We demonstrate the necessity of oriented colimits by showing that various fundamental constructions in higher category theory fail to be lax colimits but are instances of oriented colimits. As applications, we classify higher-categorical principal bundles, represent higher dimensional adjunctions by bicartesian fibrations of $(\infty,\infty)$-categories, and obtain higher categorical versions of Quillen's Theorems A and B, which admit very natural formulations in our framework.

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

38 extracted references · 14 linked inside Pith

  1. [1]

    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. Selecta Mathematica, 31(4):85, 2025

    2025

  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: 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]

    Fibrations of ∞-categories

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

    2020

  5. [5]

    On lax limits in ∞-categories

    John Berman. On lax limits in ∞-categories. Proceedings of the American Mathematical Society , 152(12):5055–5066, 2024

    2024

  6. [6]

    On the straightening of every functor

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

    arXiv 2024

  7. [7]

    Cubes are dense in (∞, ∞)-categories

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

    Pith/arXiv arXiv 2022

  8. [8]

    Sigma limits in 2-categories and flat pseudofunctors

    María Emilia Descotte, Eduardo Julio Dubuc, and Martin Szyld. Sigma limits in 2-categories and flat pseudofunctors. Advances in Mathematics , 333:266–313, 2018. 78

    2018

  9. [9]

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

    Andrea Gagna, Yonatan Harpaz, and Edoardo Lanari. Fibrations and lax limits of (∞, 2)-categories. 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: 2510.10504 , 2025

    arXiv 2025

  13. [13]

    Fibrations in oriented category theory

    David Gepner and Hadrian Heine. Fibrations in oriented category theory. arXiv: 2607.18418 , 2026

    Pith/arXiv arXiv 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: 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]

    A duality between monads and monadic morphisms

    Hadrian Heine. A duality between monads and monadic morphisms. arXiv: 1712.00555 , 2023

    arXiv 2023

  17. [17]

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

    Hadrian Heine. An equivalence between enriched ∞-categories and ∞-categories with weak action. arXiv: 2009.02428 , 2023

    Pith/arXiv arXiv 2009

  18. [18]

    The higher algebra of weighted colimits

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

    Pith/arXiv arXiv 2024

  19. [19]

    On bi-enriched ∞-categories

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

    Pith/arXiv arXiv 2024

  20. [20]

    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

    2025

  21. [21]

    Homology of higher categories

    Hadrian Heine. Homology of higher categories. arXiv: 2505.22640 , 2025

    Pith/arXiv arXiv 2025

  22. [22]

    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

  23. [23]

    Stable homotopy theory of higher categories

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

    Pith/arXiv arXiv 2026

  24. [24]

    Algebras over infinity-operads

    Gijs Heuts. Algebras over infinity-operads. arXiv: 1110.1776 , 2011

    Pith/arXiv arXiv 2011

  25. [25]

    Yoneda lemma for enriched ∞-categories

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

    2020

  26. [26]

    Elementary observations on 2-categorical limits

    Gregory Maxwell Kelly. Elementary observations on 2-categorical limits. Bulletin of the Australian Mathematical Society, 39(2):301–317, 1989

    1989

  27. [27]

    A 2-categories companion

    Stephen Lack. A 2-categories companion. In Towards higher categories, pages 105–191. Springer, 2009

    2009

  28. [28]

    Categorical theory of (∞,ω )-categories

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

    2024

  29. [29]

    Effectivity of generalized double ∞-categories

    Félix Loubaton. Effectivity of generalized double ∞-categories. arXiv: 2503.19242 , 2025

    Pith/arXiv arXiv 2025

  30. [30]

    Higher Algebra

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

  31. [31]

    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

  32. [32]

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

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

    Pith/arXiv arXiv 2009

  33. [33]

    On the classification of topological field theories

    Jacob Lurie. On the classification of topological field theories. Current Developments in Mathematics , 2008, 05 2009. 79

    2008

  34. [34]

    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

  35. [35]

    (∞,n )-limits i: Definition and first consistency results

    Lyne Moser, Nima Rasekh, and Martina Rovelli. (∞,n )-limits i: Definition and first consistency results. Canadian Journal of Mathematics , pages 1–38, 2023

    2023

  36. [36]

    On straightening for Segal spaces

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

    Pith/arXiv arXiv 2023

  37. [37]

    A monoidal Grothendieck construction for ∞-categories

    Maxime Ramzi. A monoidal Grothendieck construction for ∞-categories. Nagoya Mathematical Journal , 261:e8, 2026

    2026

  38. [38]

    Limits indexed by category-valued 2-functors

    Ross Street. Limits indexed by category-valued 2-functors. Journal of Pure and Applied Algebra , 8(2):149–181, 1976. 80

    1976