{"id":"ce826e12-6e73-459d-85f2-5d08b813926d","arxiv_id":"2508.17794","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Algebraically idempotent relative monads, where every algebra is idempotent, recover the classical characterization that the forgetful functor to the ambient category is reflective.","lead":"Relative monads are like monads built over a fixed functor. This paper defines a stronger form of idempotence for them, proves it is the right one, and gives counterexamples showing the weak form is not enough.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Corollary 3.18 rests on the black-box [ASS25, Thm 8.3] extension theorem; any hidden hypothesis in that theorem would invalidate the advertised free-cocompletion equivalence between idempotence and algebraic idempotence.","rationale":"The reader's weakest_assumption identified exactly the same load-bearing concern: Corollary 3.18 depends on [ASS25, Theorem 8.3] taken as a black box. My pass through the internal argument confirms that Corollary 3.13, the central characterization of algebraic idempotence, is supported by the surrounding lemmas and does not itself rely on that external theorem. Proposition 3.12's terminality proof is sketched, but terminality is not used in Corollary 3.13 or elsewhere, so it is not load-bearing. The Setting paragraph's claim about enriched and virtual-equipment generalisation is an unsupported scope claim but does not affect the ordinary-category theorems. The real soft spot is the special case in Corollary 3.18, where the proof imports a substantial extension theorem without indicating its hypotheses. The concrete test I propose would either reproduce the extension in a small setting, lending support, or reveal a counterexample that would falsify the corollary. Since this concern is precisely what the reader flagged and it does not overturn the main theorem, the conditional verdict stands unchanged.","tokens_in":10372,"tokens_out":15460,"duration_ms":148174,"concrete_test":"Inspect the proof of [ASS25, Theorem 8.3] and test a concrete instance: take A = 1 (terminal category) and Φ = finite coproducts, so φ_A : 1 → FinSet sends the unique object to the singleton. Choose a φ_A-relative monad on the object 2 (say unit picking one element and extension defined by the unique maps in FinSet). Explicitly compute the left extension of its underlying functor along φ_A, verify that it carries a monad structure, and check whether the induced functor Alg(T_ext) → Alg(T) is an equivalence (i.e., whether the extended monad is φ_A-ary). If the φ_A-ary equivalence fails in this or any analogous example, Corollary 3.18 collapses; if it holds, the black-box step gains independent support.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The core characterization Corollary 3.13 is well supported by Lemmas 3.11 and Proposition 3.12, and no internal gap there changes the verdict. The load-bearing weakness is in Corollary 3.18, which the abstract advertises as the special case giving characterisations for monads in extension form. Its proof imports [ASS25, Theorem 8.3] as a black box without reproducing the statement of hypotheses or proof, asserting that every φ_A-relative monad extends along the free cocompletion φ_A to a φ_A-ary monad. The φ_A-ary condition is essential for the final equivalence step via Proposition 3.16, and the step comparing idempotence of the extended monad with that of the original T uses Proposition 3.17, which requires the extended monad to exhibit the left extension. If the extension theorem fails for some classes of colimits or carries unstated size, pointwise, or smallness conditions, the chain in Corollary 3.18 breaks. The tension with Remark 2.10, which expects dense roots to exhibit the bifurcation, makes this dependency non-vacuous: a free cocompletion root is dense, so Corollary 3.18 contradicts that expectation in a special case unless the extension theorem is genuinely correct in full generality.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper studies idempotence for relative monads. It introduces two notions: idempotence, meaning invertibility of the extension operator, and the stronger algebraic idempotence, meaning that every algebra for the relative monad is idempotent. The paper exhibits a counterexample showing that the two notions differ, proves that algebraic idempotence is characterized by the forgetful functor from the category of algebras being j-reflective (Corollary 3.13), and gives sufficient conditions under which idempotence implies algebraic idempotence. As a special case, it claims that for relative monads over free cocompletions the two notions coincide (Corollary 3.18). The paper is clearly structured and the main characterization is supported by a sequence of lemmas, though one foundational lemma on equivalent formulations of idempotence appears to be incorrect as stated.","tokens_in":10669,"tokens_out":16894,"duration_ms":166738,"significance":"If the central results stand, the paper provides a clean and useful characterization of algebraic idempotence for relative monads and clarifies a genuine bifurcation that is absent in the non-relative setting. The counterexample in Example 2.9 is valuable, and the characterization in Corollary 3.13 is a natural and apparently correct analogue of the classical fact that a monad is idempotent iff its Eilenberg-Moore forgetful functor is fully faithful. The paper also draws informative connections to prior work of Diers and to relative pseudomonads. However, the erroneous equivalence claims in Lemmas 1.7 and 2.4 need to be corrected, and the advertised free-cocompletion result depends on an unstated external theorem. The paper is likely salvageable, but it is not ready in its present form.","major_comments":[{"comment":"The equivalence claims in Lemma 2.4 are false as stated. Items (3) and (3') assert that E(eta,e) composed with the extension operator equals the identity, which is exactly the first axiom for a T-algebra and therefore holds for every algebra, not only idempotent ones. A split monomorphism in Set need not be an isomorphism, so the proof's inference from the unit law to the equivalence of (1)--(4) is invalid. Concretely, in Example 2.9 the algebra structure on e sending the unique morphism j -> e to f satisfies E(eta,e) \\circ \\rtimes = id but is not invertible. Since Lemma 1.7 is proved by deferring to Lemma 2.4, the same problem affects the claimed equivalences for idempotent relative monads, including the assertion that condition (3) there is equivalent to invertibility. The authors should correct the lemma, for instance by replacing (3) with the condition that the other composite \\rtimes \\circ E(eta,e) is the identity, or by adding the hypothesis that E(eta,e) is a monomorphism. This is a load-bearing definitional claim, even though the main characterization in Corollary 3.13 may survive with a corrected lemma.","section":"Lemmas 1.7 and 2.4"},{"comment":"The proof of Corollary 3.18, which is advertised in the abstract, relies entirely on [ASS25, Theorem 8.3] as a black box. The hypotheses of that theorem are not stated or verified in the present paper, and the conclusion is used essentially for the equivalence between idempotence and algebraic idempotence for free cocompletion roots. Please reproduce the statement of [ASS25, Theorem 8.3], or at least state its precise hypotheses, and confirm that they hold for every class \\Phi of small categories. If the external theorem carries unstated size, pointwise, or smallness conditions, the chain of equivalences in Corollary 3.18 may fail for some classes of colimits. As written, the reader cannot check this dependency.","section":"Corollary 3.18"}],"minor_comments":[{"comment":"The claim that the theory generalizes routinely to enriched relative monads and to relative monads in a virtual equipment is asserted without proof or reference. If this is intended as a remark, it would be preferable to label it as an expectation or to provide a reference; as written it reads as an unsupported mathematical claim.","section":"Setting paragraph, page 1"},{"comment":"The terminality assertion is only sketched: the proof says it 'goes through in essentially the same way as in the classical case' and does not spell out the comparison argument. Since terminality is a separate claim from the j-reflectivity used in Corollary 3.13, please expand this part of the proof or explicitly cite a reference where the argument is given in full.","section":"Proposition 3.12"},{"comment":"There is a typo: 'an relative monad' should be 'a relative monad'.","section":"Proposition 3.8"}],"recommendation":"major_revision","confidential_remarks":"The main issue is the false Lemma 2.4, which is central to the paper's framing but appears fixable without changing the principal characterization. The reliance on [ASS25, Theorem 8.3] for Corollary 3.18 is acceptable if the theorem's hypotheses are stated, but the advertisement of that corollary in the abstract makes the black-box dependency more problematic than a purely auxiliary citation. The paper fits the scope of the journal and, once the lemma is corrected, should be a worthwhile contribution."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: this is a good paper and worth a serious referee. It introduces a genuinely new distinction—algebraic idempotence vs the existing (non-algebraic) idempotence for relative monads—and proves the characterization that T is algebraically idempotent exactly when Alg(T) -> E is j-reflective (Cor 3.13). The counterexample in Example 2.9, separating the two notions, is simple and convincing. That alone justifies the paper.\n\nWhat it does well: the proofs are clean, the paper is honest about where the classical equivalences fail, and the Kleisli/reflection results in Section 3 are useful. Proposition 3.12 gives the terminal reflective resolution, and Corollary 3.13 is the payoff. I also like the clear explanation of why algebraic idempotence is the right notion, not just a technical strengthening.\n\nSoft spots, in order of importance.\n\n1. Corollary 3.18 (idempotence = algebraic idempotence for free cocompletion roots) is the advertised special case, and its proof is a chain that imports [ASS25, Theorem 8.3] as a black box. The hypotheses of that theorem aren't stated, and the corollary's conclusion depends on the extended monad being phi_A-ary and exhibiting the left extension (Props 3.16 and 3.17). If the extension theorem has hidden size or pointwise conditions, the equivalence in 3.18 breaks. I don't think this is a fatal flaw—it's normal to cite your own prior work in a companion paper—but the paper should at least state the theorem's hypotheses or flag the dependency. There's also a tension worth a sentence: Remark 2.10 says a dense root might separate the notions, yet a free cocompletion root is dense and 3.18 says they coincide for it. The reader is left to figure out what the expected behaviour is outside the free-cocompletion case.\n\n2. Proposition 3.12's terminality proof is sketched ('goes through in essentially the same way'). Minor—the reader can fill it in, but it should be a real argument.\n\n3. The Setting paragraph asserts the enriched and virtual-equipment generalizations are 'evident' with no proof. Given the paper's scope, that's fine as a remark, but it shouldn't be read as a theorem.\n\nThe central characterization (Cor 3.13) does not depend on the black box, so the spine of the paper is solid. The citation pattern is fine; the self-citations are to previous work that is directly relevant, not padding.\n\nWho it's for: anyone working on relative monads or relative pseudomonads, and to a lesser extent semantics people using relative monads. It deserves a proper peer review. My recommendation: send it out, with a request that the authors spell out the dependency in 3.18 and either prove or properly state the enrichment generalization.","headline":"A clean, well-motivated distinction between idempotence and algebraic idempotence for relative monads; the main theorem is solid, but one advertised corollary rests on an unstated external theorem.","tokens_in":11160,"tokens_out":3735,"would_cite":false,"duration_ms":34955,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["18C15","18C20"],"pacs":[],"model":"deepseek-v4-flash","headline":"For relative monads, idempotence splits into two notions; only the stronger restores the classical theorems.","keywords":["relative monads","idempotence","algebraic idempotence","extension operator","relative adjunctions","reflective functors","free cocompletions","j-ary monads"],"falsifier":"Construct, for a free cocompletion root φ_A : A→Φ(A), a φ_A-relative monad that is idempotent but admits a non-idempotent algebra; such an example would refute Corollary 3.18. More directly, the paper's own Remark 2.10 invites the same construction with a dense root—an explicit dense-root counterexample would show idempotence is strictly weaker even under density.","tokens_in":10194,"feed_emoji":"🔀","tokens_out":10467,"duration_ms":96053,"temperature":0.7,"pith_summary":"This paper isolates a subtlety that appears only for monads relative to a functor, not for ordinary monads on a category. It defines two notions: a j-relative monad is idempotent when its extension operator is invertible, and algebraically idempotent when every T-algebra is idempotent. The first is strictly weaker, as Example 2.9 shows, and the paper's thesis is that the second is the right generalization. The central result, Corollary 3.13, characterizes algebraic idempotence as exactly the condition that the forgetful functor from T-algebras to the ambient category is j-reflective, i.e., fully faithful with a left relative adjoint. For ordinary monads, and for relative monads whose root is a free cocompletion, the two notions coincide, so the subtlety disappears in those settings.","feed_headline":"Idempotence splits in two for relative monads","feed_subtitle":"The weak notion fails the classical algebra tests; the strong one restores them, and they agree for free cocompletions.","key_machinery":"The load-bearing objects are the two extension operators. A j-relative monad T on a functor j : A→E consists of objects ta∈E, units η_a : ja→ta, and an extension rule f↦f† turning each f:ja→tb into ta→tb, satisfying unit and associativity laws. Its algebras replace the single object by an arbitrary e∈E and the extension rule by f↦f⋊:ta→e. Idempotence asks that the first rule be bijective; algebraic idempotence asks the same for the rules of all algebras. The bridge to category theory is that these bijectivity conditions are equivalent to full faithfulness of forgetful functors: an idempotent relative monad is one whose Kleisli category embeds fully into the image of t, and an algebraically idempotent one is one whose algebra forgetful functor is j-reflective, meaning fully faithful with a left j-relative adjoint. The paper also uses j-ary monads—monads presented by their precomposition with the root—to transfer algebraic idempotence along extensions.","core_discovery":"At the paper's center is a distinction that does not exist for ordinary monads. For a j-relative monad T, write †: E(j,t) ⇒ E(t,t) for its extension operator. Idempotence is the statement that † is invertible, equivalently that every morphism ja→tb extends uniquely along ηa. Algebraic idempotence is the stronger statement that every T-algebra (e, ⋊) has invertible extension operator ⋊, equivalently that every object e is η-orthogonal. The paper's main structural result is Corollary 3.13: T is algebraically idempotent exactly when the forgetful functor u_T : Alg(T)→E is j-reflective, which here reduces to full faithfulness since the relative left adjoint exists automatically. This recovers, in the relative setting, the classical characterization of idempotent monads by their algebras, and Corollary 3.18 shows that when the root is a free cocompletion φ_A : A→Φ(A), idempotence and algebraic idempotence coincide. The authors therefore argue that algebraic idempotence is the appropriate notion, with the traditional terminology reserved for it.","pith_inferences":["A broader design principle suggests itself: for relative monads, every property defined for the monad should also be defined for its algebras; the paper points to strong relative monads as the next case, where a notion of strong algebra would be needed.","Corollary 3.18 suggests a practical proof strategy: to show a relative monad is algebraically idempotent, extend it to an ordinary monad on the free cocompletion, prove idempotence of that monad, and pull the conclusion back through the j-ary equivalence.","The paper leaves open whether a dense root forces idempotence to imply algebraic idempotence; a positive or negative answer would sharpen the boundary of the phenomenon.","If the pattern extends to relative pseudomonads, as the authors suspect, algebraic lax-idempotence rather than lax-idempotence is likely the correct notion in bicategorical settings such as substitution monoidal structures."],"forward_implications":["For ordinary monads, viewed as relative monads on the identity functor, the two notions coincide, so the classical theory of idempotent monads is unchanged.","Algebraic idempotence can be read off from the algebra category: one only needs to check that the forgetful functor Alg(T)→E is fully faithful, without enumerating algebras.","Every idempotent relative monad has its Kleisli category as the initial j-reflective resolution and its idempotent algebras as the terminal one; algebraic idempotence makes the two sides coincide.","For relative monads over free cocompletions—the usual setting for monads presented by operations—the distinction disappears: idempotent implies algebraically idempotent.","In the special case of monads presented in extension form, the characterisations specialise to concrete criteria for idempotence of the extension operator."],"supporting_citations":[{"why":"Supplies the definitions of j-relative monads and their algebras that the whole paper works with.","marker":"[ACU15]"},{"why":"Provides the formal theory of relative monads: relative adjunctions, resolutions, algebras, and j-ary monads used throughout.","marker":"[AM24]"},{"why":"Gives the classical characterisations of idempotent monads that the relative notions are measured against.","marker":"[App69]"},{"why":"Introduces idempotent j-monads and j-reflections; the paper shows its weak notion coincides with Diers's and strengthens it.","marker":"[Die75]"},{"why":"Prior two-dimensional notion of lax-idempotent relative pseudomonad; the paper notes its definition agrees with the weak one in the locally discrete case.","marker":"[FGHW18]"},{"why":"Theorem 8.3 is the black-box extension theorem that carries Corollary 3.18 for free cocompletion roots.","marker":"[ASS25]"},{"why":"Supporting correspondence between monads relative to free cocompletions and monads on the cocompletion, framing Corollary 3.18.","marker":"[Szl17]"},{"why":"Provides the notion of relative monadicity used to observe that j-reflections are not generally j-relatively monadic.","marker":"[AM25]"}],"fun_headline_variants":["Idempotence bifurcates for relative monads","Two notions of idempotence for relative monads","Weak vs strong idempotence in relative setting","Relative monads split idempotence in two"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The free-cocompletion result, Corollary 3.18, takes as a black box a companion theorem that every φ_A-relative monad extends along the free cocompletion to a φ_A-ary monad; if that extension theorem has hidden hypotheses or fails for some colimit classes, the coincidence of the two notions of idempotence in that setting collapses.","fun_headline_variants_meta":{"raw":{"variants":["Idempotence bifurcates for relative monads","Two notions of idempotence for relative monads","Weak vs strong idempotence in relative setting","Relative monads split idempotence in two"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000289,"raw_usage":{"total_tokens":1642,"prompt_tokens":842,"completion_tokens":800,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":458,"completion_tokens_details":{"reasoning_tokens":735}},"tokens_in":458,"tokens_out":800,"duration_ms":7549,"temperature":1.0,"reasoning_tokens":735,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T17:00:49.257184+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Construct, for a free cocompletion root φ_A : A→Φ(A), a φ_A-relative monad that is idempotent but admits a non-idempotent algebra; such an example would refute Corollary 3.18. More directly, the paper's own Remark 2.10 invites the same construction with a dense root—an explicit dense-root counterexample would show idempotence is strictly weaker even under density.","supporting_citations":[],"review_version":2}