{"id":"48c1435f-fa8a-4396-94a3-9a7c5da57421","arxiv_id":"2505.13850","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The authors introduce involutive weak cubical omega-categories as monad algebras and prove the free constructions needed for that definition exist.","lead":"This paper defines involutive weak cubical omega-categories as algebras for a monad built from free involutive strict cubical categories. It proves the free constructions exist and gives examples, a step toward categorified operator algebras.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Lemma 3.6 never enforces the Penon contraction axiom: the quotient generated from (3.1) does not identify κ(x,y) with ι(x), so the constructed π is not a π-contraction.","rationale":"Read in good faith, the paper's goal is a Penon-style definition of involutive weak cubical ω-categories, and the main strategy is plausible: build a free self-dual reflective cubical ω-magma, quotient by category axioms, add contraction cells level by level, and use the resulting monad. The free magma and free strict involutive category parts, Lemma 3.3 and Lemma 3.4, are given in enough detail to be credible. The soft spot is the free contraction, Lemma 3.6. The reader already notes that the globular recursion is transferred to cubes without detailed checks. My stress-test isolates a sharper, checkable omission: the quotient relation used for Cκ(Q)^{n+1} is generated by the category axioms in (3.1), which do not include the defining Penon condition πκ=ι. Thus the object constructed is not, as written, a Penon-Kachour contraction. This is an internal proof gap, not an objection to the Penon approach or to the cubical formalism. If the missing relations are added, the construction may be repairable; the concrete test on the simple pair (f∘ι, f) decides whether the omission is real. Consequently the central claim should not be accepted as proven, and the paper needs a substantive revision of Lemma 3.6 before the monad and Definition 3.8 are supported. This leaves the reader's CONDITIONAL verdict in place, but for a more specific mathematical reason.","tokens_in":17177,"tokens_out":19662,"duration_ms":187449,"concrete_test":"Take Q with two objects a,b and a generating 1-cell f:a→b. In the construction of Lemma 3.6, compute C^2 for the pair (f∘ι^1(sf), f): first add the contraction generator κ^2(f∘ι(sf),f)=[f∘ι(sf),1,f], then form R^2_X as the congruence generated by the pairs of (3.1) applied to M^2. Check whether [f∘ι(sf),1,f] = ι^2(f) in M^2/R^2_X. It is not, because no generator of R^2_X involves the bracket symbol [−,1,−]. The same check with the proposed repair, adding all pairs ([x,d,y], ι(x)) to X^{n+1} and closing under the cubical operations, should be run to see whether the repaired quotient is still a strict involutive cubical category and whether source/target maps of κ-cells remain well-defined.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"Definition 3.1 requires π^n(κ^n(x,y)) = ι^n(π^{n-1}(x)) for every pair (x,y) in the kernel of π^{n-1}. In the proof of Lemma 3.6, κ^{n+1}_{D,d}(x,y) is the new generator [x,d,y], and Cκ(Q)^{n+1} is defined as Mκ(Q)^{n+1}/R^{n+1}_X, where R^{n+1}_X is generated by the pairs listed in (3.1): associativity, unitality, functoriality of identities, exchange, involutivity, commutativity, functoriality of involutions, and Hermitianity. None of these pairs is ([x,d,y], ι^{n+1}(x)) or ([x,d,y], ι^{n+1}(y)) for the newly added contraction cells, so the quotient does not enforce the defining equation π^{n+1}κ^{n+1}=ι. For a concrete witness, take the 1-cell pair (f∘ι(sf), f). Since f∘ι(sf) and f are identified by unitality in C^1, this pair lies in the domain of κ^2; the cell [f∘ι(sf),1,f] is added to M^2, but no relation in (3.1) forces its class to be the identity 2-cell on f. Hence π^2κ^2=ι fails for the map π defined as the quotient by R^2_X. A second related defect is that R^{n+1}_X, generated only in dimension n+1, has trivial restriction to n-cells, so Cκ(Q)^{n+1} does not contain Cκ(Q)^n unless the construction also closes under all lower-dimensional relations. The proof as written therefore does not establish the free contraction; Theorem 3.7 and Definition 3.8 rest on this missing step.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes an algebraic definition of involutive weak cubical ω-categories following Penon's contraction method. It first introduces cubical ω-sets, reflective/self-dual cubical ω-magmas, and strict involutive cubical ω-categories. It then defines Penon-Kachour contractions (Definition 3.1), claims the existence of free self-dual reflective cubical ω-magmas (Lemma 3.3), free strict involutive cubical ω-categories (Lemma 3.4), and free self-dual cubical Penon-Kachour contractions (Lemma 3.6). From the latter it derives an adjunction and monad (Theorem 3.7, Corollary 3.5) and defines an involutive weak cubical ω-category as an algebra for that monad (Definition 3.8). Section 3.1 sketches examples involving weak cubical groupoids and products of involutive categories.","tokens_in":17589,"tokens_out":7953,"duration_ms":73352,"significance":"If the construction is correct, the paper would provide a concrete algebraic model of involutive weak cubical higher categories, extending Penon's and Kachour's approaches and connecting to higher *-category theory. The definitions are new and the overall strategy is natural. However, the main claim rests entirely on Lemma 3.6, and that lemma is not established by the proof as written. The paper also gives useful preliminary material on strict involutive cubical categories, and the examples in Section 3.1 indicate intended applications, but they are sketches rather than verified structures.","major_comments":[{"comment":"The quotient construction in Lemma 3.6 does not enforce the defining contraction equation π^{n+1}(κ^{n+1}(x,y)) = ι^{n+1}(π^n(x)). The congruence R^{n+1}_X is generated by the pairs listed in (3.1), and none of those pairs relates a newly added contraction generator [x,d,y] to ι^{n+1}(x) or ι^{n+1}(y). Concretely, take x = f∘ι(sf) and y = f in M^1; unitality in (3.1) identifies these in C^1, so the pair lies in the domain of κ^2, and [f∘ι(sf),1,f] is added to M^2. But no relation in (3.1) forces its R^2-class to equal the class of ι^2(f). Hence the map π^{n+1} defined as the quotient map is not a Penon-Kachour contraction. Since Theorem 3.7 and Definition 3.8 depend on Lemma 3.6, the main definition of involutive weak cubical ω-category is not supported by the proof as written.","section":"Section 3, Lemma 3.6 (with Definition 3.1 and Eq. (3.1))"},{"comment":"The recursive construction defines Cκ(Q)^{n+1} by quotienting Mκ(Q)^{n+1} by a relation R^{n+1}_X generated only in dimension n+1, with no stated compatibility with the previously constructed quotient Cκ(Q)^n. Since the source and target of an (n+1)-cell are n-cells, a congruence on Mκ(Q)^{n+1} must restrict to a congruence on Mκ(Q)^n for the quotient to carry well-defined source and target maps into Cκ(Q)^n. As written, R^{n+1}_X has trivial restriction to Mκ(Q)^n, so π^{n+1} is not shown to be compatible with π^n, and Cκ(Q) is not shown to be a cubical ω-category. This issue must be repaired, for example by generating the congruence in all dimensions and including the contraction identities and their lower-dimensional consequences.","section":"Section 3, Lemma 3.6 (recursive definition of R^{n+1}_X)"}],"minor_comments":[{"comment":"In the definition of free concatenations of 1-cells, the compatibility condition is written as s0_{D,d}(x) = s0_{D,d}(y), but the general definition of composition in Definition 2.3 requires s0_{D,d}(x) = t0_{D,d}(y). This appears to be a typo in the base case; the later recursive step uses the correct condition s^n_{D,d}(x) = t^n_{D,d}(y).","section":"Lemma 3.3, n=1 step"},{"comment":"Several displayed axioms read 'for all∈ N₀', omitting the quantified variable n; the intended statement is 'for all n∈ N₀'.","section":"Definition 2.5"},{"comment":"The notation 'D∪d' appears where 'D∪{d}' is meant, and the displayed identity for π^n uses 'ι^n_{D∪d,d}' instead of 'ι^n_{D∪{d},d}'.","section":"Definition 3.1"},{"comment":"There are numerous typographical errors: 'relfective', 'trasformations', 'fuctor', 'controgradient', and 'self-dual relfective'. These do not affect the mathematics but should be corrected.","section":"Throughout"},{"comment":"The examples are presented as sketches. In particular, the claim that every weak cubical ω-groupoid becomes an involutive weak cubical ω-category by taking directional inverses as involutions should be checked against the specific axioms for involutions, since not every involution in a higher category is compatible with all face maps in the required way.","section":"Section 3.1"}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"You asked about arXiv:2505.13850. The headline: the paper gives a well-motivated definition of involutive weak cubical ω-categories as algebras for a monad, and the strict-level material is mostly solid, but the existence proof for the free contraction (Lemma 3.6) has a load-bearing gap. The quotient they define does not enforce the Penon contraction equation π(κ(x,y)) = ι(π(x)), so the object they claim is a contraction probably isn't one.\n\nWhat's genuinely new: a strict involutive cubical ω-category theory with direction-indexed cells, a detailed free-magma construction (Lemma 3.3), a quotient proof for the free strict involutive category (Lemma 3.4), and the monad-based definition of the weak objects. The paper adapts Penon/Kachour's method to the involutive cubical setting, which is a natural next step after the authors' globular work. The examples are honestly labeled as sketchy, and the bibliography is appropriate.\n\nThe soft spot is the heart of the paper. In Lemma 3.6, new cells [x,d,y] are added to Mκ(Q) for each pair identified by π. The quotient is taken with respect to the same relation families as in (3.1)—associativity, unitality, exchange, involutivity, etc. None of those relations identifies [x,d,y] with an identity cell. So the quotient map π does not satisfy the required π(κ(x,y)) = ι(π(x)). Concretely, in dimension 2, take x = f∘ι(sf) and y = f; these are identified in C^1, so [x,1,y] is added, but no relation in (3.1) makes it equal to the identity 2-cell. The proof simply asserts the free contraction exists by analogy with the globular case, but the analogy fails exactly at this point. A second, related issue is that the recursively defined congruence R^{n+1}_X has trivial restriction to n-cells, so Cκ(Q)^{n+1} does not extend Cκ(Q)^n; the levels are not glued into a single contracted category. There are also minor typos (e.g., Lemma 3.3 writes s=s where it should be s=t), but those are not the issue.\n\nSo: the paper is for specialists who care about Penon-style weak higher categories with involution. If the free-contraction construction can be repaired—say, by quotienting by the full contraction equations or by a more careful inductive construction—the definition would be valuable. As it stands, Theorem 3.7 and Definition 3.8 rest on a proof that does not verify its central axiom.\n\nI'd send it to a serious referee, because the topic is important and the strict parts are worth engaging, but the referee should be asked to focus on Lemma 3.6 and on whether the construction can be fixed without losing the monad point.","headline":"A well-motivated monadic definition and mostly careful strict-category work, but Lemma 3.6 never checks the Penon contraction axiom, so the main existence theorem is not established.","tokens_in":18090,"tokens_out":5194,"would_cite":false,"duration_ms":46709,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["18N65","18N70","18M40","18N30","18N99"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper defines involutive weak cubical $\\omega$-categories as algebras for the monad $U\\circ F$ built from free self-dual cubical Penon-Kachour contractions.","keywords":["higher categories","involutive categories","monads","cubical omega-categories","Penon contractions","weak higher categories","self-duality"],"falsifier":"Take the free construction of Lemma 3.6 at $n=2$ for a cubical $\\omega$-set with two different pairs of 2-cells that become identified in the quotient by $X^2$; check whether the two contracting cells $\\kappa^2_{D,d}(x,y)$ and $\\kappa^2_{D,d}(x',y')$ forced by the recursive source and target equations coincide. If they do not, the free self-dual cubical Penon-Kachour contraction is not well-defined as constructed.","tokens_in":16960,"feed_emoji":"🔁","tokens_out":16978,"duration_ms":135379,"temperature":0.7,"pith_summary":"The paper aims to establish a workable algebraic definition of involutive weak cubical $\\omega$-categories: higher-dimensional cubical structures in which every cell carries a duality operation and the composition laws are weak rather than strict. The proposed definition follows Penon's contraction method: an involutive weak cubical $\\omega$-category is an algebra for the monad $U\\circ F$ induced by the free-forgetful adjunction between cubical $\\omega$-sets and self-dual cubical Penon-Kachour contractions. The paper proves that the necessary free structures exist, namely free involutive strict cubical $\\omega$-categories and free self-dual cubical Penon-Kachour contractions, and derives the monad from the adjunction. If the construction is correct, operator-algebra-style involutions such as adjoints and dagger operations acquire a higher-dimensional cubical weak-categorical setting, with concrete examples coming from weak cubical $\\omega$-groupoids and multimodules.","feed_headline":"Involutive weak cubical ω-categories now have a monad definition","feed_subtitle":"Free-contraction adjunction supplies algebras with cell duals, covering groupoid and bimodule examples.","key_machinery":"The central object is the Penon-Kachour contraction: given a morphism $\\pi:M\\to C$ from a cubical self-dual reflective $\\omega$-magma to a strict involutive cubical $\\omega$-category, a contraction is a family of maps $\\kappa^n_{D,d}$ that to every pair of $n$-cells with the same $\\pi$-image assigns an $(n+1)$-cell whose prescribed faces are the two cells and whose $\\pi$-image is the corresponding identity cell. The argument works by freely adding such contracting cells to the free self-dual reflective cubical $\\omega$-magma, again quotienting by the strict category axioms, and then showing that the induced free-forgetful adjunction $F\\dashv U$ yields the monad $U\\circ F$. Definition 3.8 then reads off weak involutive cubical $\\omega$-categories as algebras for this monad, so the contraction machinery is what carries the passage from strict to weak.","core_discovery":"The paper's central claim is that an involutive weak cubical $\\omega$-category is exactly an algebra for the monad $U\\circ F$ associated to the adjunction $F\\dashv U$ of Theorem 3.7, where $F$ sends a cubical $\\omega$-set to the free self-dual cubical Penon-Kachour contraction over it and $U$ forgets the contraction structure. The evidence for the claim is the construction of free involutive strict cubical $\\omega$-categories by quotienting a free self-dual reflective cubical $\\omega$-magma by the congruence generated by the strict category axioms, followed by the recursive construction of the free Penon-Kachour contraction in Lemma 3.6. Concrete content is supplied by the examples: every weak cubical $\\omega$-groupoid, including the weak $\\omega$-groupoid of homotopies of a topological space, is an involutive weak cubical $\\omega$-category when directional inverses play the role of involutions, and every strict involutive cubical $\\omega$-category is one as well.","pith_inferences":["Editorial inference: the most important unverified step is the recursive transfer from the globular construction; if that step failed for some cubical $\\omega$-set, the monad-algebra definition would still be viable once a free contraction is assumed or constructed differently.","Editorial inference: the product construction suggests a template for typed weak involutive higher categories in which $n$-arrows in a direction $D$ are multimodules between families of involutive monoids, making the cubical directions genuinely typed composition axes.","Editorial inference: a direct test of the definition would be to compare the resulting category of algebras with an operadic model of the same structures, a comparison the paper names as future work rather than attempting.","Editorial inference: if the free-contraction construction is made fully explicit for cubes, the same pattern should produce involutive weak cubical categories with connections, because the face-indexing by directions $D$ already records the additional combinatorial data connections require."],"forward_implications":["Every strict involutive cubical $\\omega$-category becomes an involutive weak cubical $\\omega$-category, since the monad-algebra structure can be taken to be the identity on the free object's quotient.","Every weak cubical $\\omega$-groupoid, such as the weak $\\omega$-groupoid of homotopies of a topological space, yields an involutive weak cubical $\\omega$-category by taking directional inverses as involutions.","Countable families of involutive 1-categories assemble into product strict involutive cubical $\\omega$-categories; replacing strict by weak involutive 1-categories, for instance bimodules over involutive monoids, gives nontrivial examples.","The monadic definition provides a common algebraic framework in which to compare weak cubical involutive higher categories with other higher-category models, since morphisms of monad algebras already supply the expected notion of functor."],"supporting_citations":[{"why":"Supplies the contraction method for weak omega-categories that the cubical involutive definition adapts.","marker":"[Penon 1999]"},{"why":"Establishes the algebraic model of cubical weak omega-categories whose involutive version is developed here.","marker":"[Kachour 2022]"},{"why":"Provides the globular recursive construction and quotient-by-congruence technique that Lemmas 3.3, 3.4, and 3.6 follow.","marker":"[Bejrakarbum Bertozzini 2017]"},{"why":"Gives the globular involutive weak higher-category model used for comparison and recalled in Lemma 3.3.","marker":"[Bejrakarbum Bertozzini 2023]"},{"why":"Supplies the standard adjunction theorem used to turn the universal factorization property into the left adjoint in Theorem 3.7.","marker":"[Leinster 2014]"},{"why":"Provides the standard adjunction-to-monad construction that produces the monad U composed with F and hence Definition 3.8.","marker":"[Riehl 2016]"}],"fun_headline_variants":["Involutive weak cubical ω-categories as monad algebras","Free-contraction monad defines involutive weak cubical ω-categories","Cell duals from monad: involutive weak cubical ω-categories","Weak cubical ω-groupoids are involutive monad algebras","Monad approach yields involutive weak cubical ω-categories"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the recursive contraction recipe known from the globular case transfers to cubical $\\omega$-sets without new checks; in particular, each new contracting map $\\kappa^{n+1}$ must remain well-defined after quotienting by the congruence $X^{n+1}$, a step the paper states rather than verifies in detail.","fun_headline_variants_meta":{"raw":{"variants":["Involutive weak cubical ω-categories as monad algebras","Free-contraction monad defines involutive weak cubical ω-categories","Cell duals from monad: involutive weak cubical ω-categories","Weak cubical ω-groupoids are involutive monad algebras","Monad approach yields involutive weak cubical ω-categories"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001146,"raw_usage":{"total_tokens":4679,"prompt_tokens":799,"completion_tokens":3880,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":415,"completion_tokens_details":{"reasoning_tokens":3788}},"tokens_in":415,"tokens_out":3880,"duration_ms":22705,"temperature":1.0,"reasoning_tokens":3788,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T20:08:28.612703+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take the free construction of Lemma 3.6 at $n=2$ for a cubical $\\omega$-set with two different pairs of 2-cells that become identified in the quotient by $X^2$; check whether the two contracting cells $\\kappa^2_{D,d}(x,y)$ and $\\kappa^2_{D,d}(x',y')$ forced by the recursive source and target equations coincide. If they do not, the free self-dual cubical Penon-Kachour contraction is not well-defined as constructed.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the contraction method for weak omega-categories that the cubical involutive definition adapts."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Establishes the algebraic model of cubical weak omega-categories whose involutive version is developed here."},{"cited_title":"Involutive Weak Globular Higher Categories","cited_arxiv_id":"1709.09336","evidence_quote":"Provides the globular recursive construction and quotient-by-congruence technique that Lemmas 3.3, 3.4, and 3.6 follow."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the standard adjunction theorem used to turn the universal factorization property into the left adjoint in Theorem 3.7."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the standard adjunction-to-monad construction that produces the monad U composed with F and hence Definition 3.8."}],"review_version":1}