The Gray Product of $(\infty, n)$-Categories via Lax Grids

Leor Neuhauser; Shai Keidar

REVIEW 1 major objections 4 minor 11 references

Segal sheaves on lax grids give a model of (∞,n)-categories whose Day convolution is the Gray product.

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 · grok-4.5

2026-07-12 11:40 UTC pith:EAWVAAG4

load-bearing objection Solid monoidal model for (∞,n)-categories via Day convolution on lax grids; the inductive comparison to Campion holds up. the 1 major comments →

arxiv 2606.27574 v2 pith:EAWVAAG4 submitted 2026-06-25 math.CT math.AT

The Gray Product of (infty, n)-Categories via Lax Grids

Shai Keidar , Leor Neuhauser This is my paper

classification math.CT math.AT MSC 18N6518N1018D2055U35

keywords (∞,n)-categoriesGray tensor productlax gridsSegal sheavesDay convolutioncubical nerven-uple Segal spacescobordism categories

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 builds a new presentation of (∞,n)-categories whose basic cells are lax cubes and whose higher cells are pasting diagrams of those cubes, called lax grids. Presheaves on the resulting category of grids that satisfy a Segal condition and a univalence condition are equivalent to ordinary (∞,n)-categories. Because the grids are closed under the Gray product of cubes, Day convolution on the sheaves produces a monoidal structure that coincides with Campion’s unique Gray tensor product. The construction is therefore both a concrete model of higher categories and a direct computational recipe for their Gray product. The authors flag that the same description will later turn the cartesian product of manifolds into a Gray-algebra structure on cobordism categories.

Core claim

There is an equivalence of monoidal categories ∞Cat ≃ Shv(⊞⊞⊞)^univ (and nCat ≃ Shv(⊞⊞⊞_n)^univ for each finite n) under which the Day-convolution monoidal structure induced by the Gray product of lax grids recovers Campion’s unique Gray product.

What carries the argument

The cubical nerve N_□: the restricted Yoneda embedding along the full subcategory of lax grids, which lands in univalent Segal sheaves and is inverted by the composite that first turns a grid sheaf into an n-uple category and then discards all but one direction.

Load-bearing premise

The inert/active factorization system and elementary objects declared on the essential image of the cubical functor really form a saturated geometric pattern whose elementary slices are cofinal, so that the Segal condition is well-defined and the cubical nerve is fully faithful.

What would settle it

Exhibit a single lax grid for which the active-inert factorization fails to be unique, or for which the elementary slice is not cofinal; either failure would make the Segal sheaf condition ill-posed and break the claimed equivalence.

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

If this is right

The Gray product of an n-category and a k-category may be computed by Day convolution of their grid sheaves, without first writing them as colimits of cubes.
n-fold univalent Segal spaces and Θ_n-spaces become equivalent to grid sheaves via explicit functors that preserve the monoidal structures.
Cobordism categories can be realized as univalent grid sheaves whose Gray product is the cartesian product of manifolds.
The same pattern yields a monoidal model of flagged (non-univalent) (∞,n)-categories.
Connections and fold maps become explicit morphisms of grids that implement the collapse from cubes to globes.

Where Pith is reading between the lines

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

Once cobordism categories are equipped with this Gray-algebra structure, one obtains a higher-categorical interpretation of the cartesian product of manifolds that is compatible with fully extended TQFTs.
The same grid presentation should give a direct comparison between the Gray product and other known monoidal structures on (∞,n)-categories, such as the Crans–Gray product or the box product of cubical sets.
Because the model is built from free pasting diagrams, it may supply a practical language for writing explicit higher-dimensional string diagrams that involve non-invertible cells.

Editorial analysis

A structured set of objections, weighed in public.

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

Desk Editor's Note

Solid monoidal model for (∞,n)-categories via Day convolution on lax grids; the inductive comparison to Campion holds up.

read the letter

This paper gives a usable combinatorial model for (∞,n)-categories as univalent Segal sheaves on lax grids (pasting diagrams of lax cubes) so that the Gray product is literally Day convolution, then proves it matches Campion's unique monoidal structure. That is the real payload, and it is new: the monoidal equivalence Shv(⊕⊕⊕)^univ ≅ ∞Cat (and the finite-n versions) is not in the cited literature.

What they do well is the comparison route. They put a geometric-pattern structure on the essential image of the strict cubical functor □:Δ^n o nCat_s, check saturation and strong-Segal morphisms by explicit corner-shifting and unique lifting of inerts (Props 3.14, 3.17, Lem 3.15), then build the cubical nerve and its inverse F = G_* □^* through n-uple Segal spaces. The reconstruction of cubes uses the fold maps Φ_n (identified with the collapse π_n) and a sequence of pushouts (Lems 4.8–4.12, Props 4.6 and 4.13). Monoidality is free once you have the equivalence, by Campion uniqueness. The inductive bookkeeping is careful and the citations (AABS02, Campion, Haugseng, Chu–Haugseng) are in the right places.

Soft spots are minor and already flagged by the authors. Full faithfulness of the boundary inclusion ι is deferred to the main equivalence rather than proved directly from the pattern axioms (Rem 3.19); that is a presentational choice, not a hole. There is no formalization and the cobordism applications are announced for later work, so significance sits inside higher category theory and geometric applications rather than broader math. The stress-test correctly notes that the combinatorial checks for the factorization system and the inverse pair are already in the manuscript; I do not see a load-bearing gap that would collapse the Segal condition.

This is for people who need an explicit Day-convolution Gray product or who work with cubical models and cobordism categories. It deserves a serious referee. I would accept it for peer review and would cite the monoidal equivalence if I needed a concrete model of Gray products.

Referee Report

1 major / 4 minor

Summary. The paper introduces a model of (∞,n)-categories as univalent Segal sheaves on the category ⊕⊕⊕_n of lax grids (pasting diagrams of lax cubes), obtained as the essential image of the strict cubical functor □:Δ^n o nCat_s. It equips this category with a geometric-pattern structure (active/inert factorization and elementary objects the lax cubes), proves saturation, and constructs the Gray product by Day convolution of the monoidal structure on ⊕⊕⊕. The main result (Theorem A / Theorems 4.15–4.16) is an equivalence of monoidal categories ∞Cat ≅ Shv(⊕⊕⊕)^univ (and nCat ≅ Shv(⊕⊕⊕_n)^univ) under which this Day-convolution product coincides with Campion’s unique Gray product. The equivalence is realized by the cubical nerve N_□ and its inverse F = G_* □^*, proved inductively via reconstruction of cubes by fold maps and pushouts.

Significance. If correct, the work supplies a concrete, Day-convolution-friendly model for the Gray product that is well-adapted to geometric applications (especially the announced Gray-algebra structure on cobordism categories via cartesian products of manifolds). The inductive reconstruction of cubes (fold maps Φ_n, pushouts of Lemmas 4.10–4.12 and Proposition 4.12) and the identification with Campion’s uniqueness theorem give a clean comparison with existing models (Θ_n-spaces, n-fold Segal spaces). The geometric-pattern formalism is used systematically and the monoidality argument is external rather than circular. The manuscript therefore fills a genuine gap between abstract uniqueness and an explicit, computable presentation.

major comments (1)

Remark 3.19 notes that the boundary inclusion ⊕⊕⊕_{n-1} o⊕⊕⊕_n fails the active-lifting hypothesis of Proposition 2.21, so full faithfulness of ι is not obtained a priori; it is recovered only after the equivalence of Theorem 4.14. While the inductive argument is consistent, a short direct verification that ι is fully faithful (or an explicit description of the essential image of ι) would remove a residual dependence on the main theorem and strengthen the geometric-pattern foundations of §3.

minor comments (4)

Definition 3.13: the active morphisms are defined by preservation of minimal and maximal corners; a one-sentence comparison with the active maps of Δ^n (or of Θ_n) would help the reader see that the factorization system is the expected one.
Notation for the Gray product oscillates between → imes, → imes_s and the Day-convolution symbol; a single consistent symbol after Definition 3.26 would improve readability.
In the proof of Proposition 4.6 the three pieces of the pullback are treated separately; a brief diagram summarizing how the three maps assemble into the pushout of Corollary 3.7 would make the induction clearer.
The forthcoming applications to cobordism categories are mentioned only in the introduction; a short paragraph in §1.1 sketching how the Segal sheaf of cubical cobordisms is expected to arise would better motivate the model.

Circularity Check

0 steps flagged

No significant circularity: equivalence via explicit inverse functors; monoidality free from external uniqueness.

full rationale

The central claim (Theorem A / 4.15–4.16) is an equivalence of monoidal categories obtained by exhibiting mutually inverse functors (cubical nerve N□ and F = G_* □^*) whose natural isomorphisms α (Prop. 4.6) and β (Prop. 4.13) are proved inductively by direct comparison of mapping spaces against weak generators, using only combinatorial pushouts of fold/collapse maps (Prop. 4.12, Lemmas 4.8–4.11, Cor. 3.7) and the already-established Segal/saturation properties of the geometric pattern on ⊞⊞⊞_n (Props. 3.14, 3.17, Lemmas 3.15–3.18). The monoidal structure itself is Day convolution of the monoid object ⊞⊞⊞ under the strict Gray product (external to AABS02/Cra95), and monoidality of the equivalence is then free from Campion’s external uniqueness theorem (Thm. 1.1 / [Cam23a]). No definitional loop, no fitted parameter renamed as prediction, and no load-bearing self-citation appears; all cited uniqueness/pasting results are by distinct authors and used as independent inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 4 axioms · 2 invented entities

The paper works entirely inside the standard foundations of presentable ∞-categories and algebraic patterns (Chu–Haugseng). No numerical free parameters appear. The only non-standard inputs are the geometric-pattern structure placed on the essential image of the strict cubical functor and the uniqueness theorem for the Gray product, both of which are either proved or cited as external theorems.

axioms (4)

standard math Presentable ∞-categories, Day convolution, and Lurie tensor product behave as in Higher Topos Theory / Higher Algebra.
Used throughout for sheaf categories and monoidal structures (Sections 2–3).
domain assumption Campion's uniqueness theorem: there is a unique closed monoidal structure on ∞Cat restricting to the Gray product on lax cubes.
Invoked to identify the Day-convolution monoidal structure with the Gray product (Theorem 1.1, Theorem 4.15).
domain assumption The strict Gray product of Al-Agl–Brown–Steiner / Crans / Steiner exists and is compatible with the cubical functor □.
Used to define the monoid structure on the category of lax grids (Section 3.1).
ad hoc to paper The inert/active factorization system and elementary objects on ⊕⊕⊕_n form a saturated geometric pattern.
Proved in Propositions 3.14 and 3.17; if false the Segal sheaf category is ill-defined.

invented entities (2)

Lax grids (objects of ⊕⊕⊕_n) independent evidence
purpose: Provide a dense subcategory closed under Gray product whose Segal sheaves model (∞,n)-categories and make Day convolution available.
Defined as the essential image of the strict cubical functor; independent evidence is the equivalence proved in the paper itself and the recovery of strict cubical ∞-categories with connections when valued in sets.
Geometric pattern structure on ⊕⊕⊕_n no independent evidence
purpose: Encode the Segal condition for pasting diagrams of lax cubes.
Inert maps are those coming from inert maps of multi-simplices; active maps preserve min/max corners. Proved to be a factorization system, but the choice is specific to this paper.

pith-pipeline@v1.1.0-grok45 · 35522 in / 2829 out tokens · 23297 ms · 2026-07-12T11:40:56.899102+00:00 · methodology

0 comments

read the original abstract

We introduce a new model for $(\infty,n)$-categories as Segal sheaves on lax grids, which are pasting diagrams of lax cubes. This model allows for a direct construction of the Gray tensor product via Day convolution. We show that this agrees with Campion's construction of the Gray tensor product. These results will be applied in future work to equip the higher categories of cobordisms with a Gray-algebra structure given by the cartesian product of manifolds.

Review history (2 revisions) →

discussion (0)

Reference graph

Works this paper leans on

11 extracted references · 10 linked inside Pith

[1]

Comparing lax functors of(∞,2)-categories

[Abe23] Fernando Abellán. Comparing lax functors of(∞,2)-categories. Preprint, arXiv:2311.12746,

Pith/arXiv arXiv
[2]

Join and slices for strict∞-categories

[AM16] Dimitri Ara and Georges Maltsiniotis. Join and slices for strict∞-categories. Preprint, arXiv:1607.00668,

Pith/arXiv arXiv
[3]

Cubes are dense in(∞,∞)-categories

42 [Cam22] Timothy Campion. Cubes are dense in(∞,∞)-categories. Preprint, arXiv:2209.09376,

Pith/arXiv arXiv
[4]

The Gray tensor product of(∞,n)-categories

[Cam23a] Timothy Campion. The Gray tensor product of(∞,n)-categories. Preprint, arXiv:2311.00205,

Pith/arXiv arXiv
[5]

An(∞,n)-categorical pasting theorem

[Cam23b] Timothy Campion. An(∞,n)-categorical pasting theorem. Preprint, arXiv:2311.00200,

Pith/arXiv arXiv
[6]

A model-independent Gray tensor product for (∞,2)-categories

[CM23] Timothy Campion and Yuki Maehara. A model-independent Gray tensor product for (∞,2)-categories. Preprint, arXiv:2304.05965,

Pith/arXiv arXiv
[7]

Haine, Maxime Ramzi, and Jan Steinebrunner

[HRS25] Peter J. Haine, Maxime Ramzi, and Jan Steinebrunner. Fully faithful functors and pushouts of∞-categories. Preprint, arXiv:2503.03916,

Pith/arXiv arXiv
[8]

Categorical theory of(∞,ω)-categories

[Lou24] Félix Loubaton. Categorical theory of(∞,ω)-categories. Preprint, arXiv:2406.05425,

Pith/arXiv arXiv
[9]

Effectivity of generalized double∞-categories

[Lou25] Félix Loubaton. Effectivity of generalized double∞-categories. Preprint, arXiv:2503.19242,

Pith/arXiv arXiv
[10]

On the squares functor and the Gaitsgory–Rozenblyum conjectures

[LR25] Félix Loubaton and Jaco Ruit. On the squares functor and the Gaitsgory–Rozenblyum conjectures. Preprint, arXiv:2507.07807,

Pith/arXiv arXiv
[11]

On the classification of topological field theories

[Lur09b] Jacob Lurie. On the classification of topological field theories. InCurrent developments in mathematics, 2008, pages 129–280. International Press, Somerville, MA,

2008

[1] [1]

Comparing lax functors of(∞,2)-categories

[Abe23] Fernando Abellán. Comparing lax functors of(∞,2)-categories. Preprint, arXiv:2311.12746,

Pith/arXiv arXiv

[2] [2]

Join and slices for strict∞-categories

[AM16] Dimitri Ara and Georges Maltsiniotis. Join and slices for strict∞-categories. Preprint, arXiv:1607.00668,

Pith/arXiv arXiv

[3] [3]

Cubes are dense in(∞,∞)-categories

42 [Cam22] Timothy Campion. Cubes are dense in(∞,∞)-categories. Preprint, arXiv:2209.09376,

Pith/arXiv arXiv

[4] [4]

The Gray tensor product of(∞,n)-categories

[Cam23a] Timothy Campion. The Gray tensor product of(∞,n)-categories. Preprint, arXiv:2311.00205,

Pith/arXiv arXiv

[5] [5]

An(∞,n)-categorical pasting theorem

[Cam23b] Timothy Campion. An(∞,n)-categorical pasting theorem. Preprint, arXiv:2311.00200,

Pith/arXiv arXiv

[6] [6]

A model-independent Gray tensor product for (∞,2)-categories

[CM23] Timothy Campion and Yuki Maehara. A model-independent Gray tensor product for (∞,2)-categories. Preprint, arXiv:2304.05965,

Pith/arXiv arXiv

[7] [7]

Haine, Maxime Ramzi, and Jan Steinebrunner

[HRS25] Peter J. Haine, Maxime Ramzi, and Jan Steinebrunner. Fully faithful functors and pushouts of∞-categories. Preprint, arXiv:2503.03916,

Pith/arXiv arXiv

[8] [8]

Categorical theory of(∞,ω)-categories

[Lou24] Félix Loubaton. Categorical theory of(∞,ω)-categories. Preprint, arXiv:2406.05425,

Pith/arXiv arXiv

[9] [9]

Effectivity of generalized double∞-categories

[Lou25] Félix Loubaton. Effectivity of generalized double∞-categories. Preprint, arXiv:2503.19242,

Pith/arXiv arXiv

[10] [10]

On the squares functor and the Gaitsgory–Rozenblyum conjectures

[LR25] Félix Loubaton and Jaco Ruit. On the squares functor and the Gaitsgory–Rozenblyum conjectures. Preprint, arXiv:2507.07807,

Pith/arXiv arXiv

[11] [11]

On the classification of topological field theories

[Lur09b] Jacob Lurie. On the classification of topological field theories. InCurrent developments in mathematics, 2008, pages 129–280. International Press, Somerville, MA,

2008