Symmetric 2-rigs: coexponentiability and cartesian closure

Marcelo Fiore; Mathieu Anel; Nicola Gambino

Coexponentiable symmetric 2-rigs are deformation retracts of presheaf categories, yielding cartesian closure for species and operads.

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-15 04:09 UTC pith:N7UZLI2K

load-bearing objection Clean characterization of coexponentiable symmetric 2-rigs as deformation retracts of presheaf categories, with a useful application to species and operad duals; abstract-only so proofs uncheckable but the claim is coherent specialized work. the 2 major comments →

arxiv 2607.12683 v1 pith:N7UZLI2K submitted 2026-07-14 math.CT

Symmetric 2-rigs: coexponentiability and cartesian closure

Mathieu Anel , Marcelo Fiore , Nicola Gambino This is my paper

classification math.CT MSC 18N1018D1518M0518A40

keywords symmetric 2-rigscoexponentiabilitycartesian closurepresheaf categoriescombinatorial speciessymmetric operadscocartesian 2-categoriesdeformation retracts

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 studies coexponentiability inside the cocartesian 2-category RIG whose objects are symmetric 2-rigs, whose 1-cells are symmetric strong monoidal cocontinuous functors, and whose 2-cells are symmetric monoidal natural transformations. The central claim is that a symmetric 2-rig is coexponentiable if and only if it is a deformation retract of the category of presheaves on a small category. That characterization is then used to explain why two full sub-2-categories of the dual of RIG—one coming from combinatorial species and one from symmetric operads—are cartesian closed. A sympathetic reader cares because coexponentiability is the dual of the property that produces internal homs; establishing exactly which 2-rigs have it turns abstract 2-categorical structure into a concrete source of closed structure for the combinatorics of species and operads.

Core claim

The coexponentiable objects of the cocartesian 2-category RIG of symmetric 2-rigs are precisely the symmetric 2-rigs that arise as deformation retracts of presheaf categories over small categories. This yields a uniform account of the cartesian closure of two full sub-2-categories of the dual of RIG, one arising from combinatorial species and one from symmetric operads.

What carries the argument

Coexponentiability inside the cocartesian 2-category RIG (objects: symmetric 2-rigs; 1-cells: symmetric strong monoidal cocontinuous functors; 2-cells: symmetric monoidal natural transformations). The property is shown equivalent to being a deformation retract of a presheaf category, which supplies the internal-hom data dualized into cartesian closure on the relevant sub-2-categories of RIG^op.

Load-bearing premise

That RIG, with exactly those 1-cells and 2-cells, is the right ambient cocartesian 2-category in which coexponentiability both characterizes the desired objects and produces the claimed closed structure for species and operads.

What would settle it

Exhibit a symmetric 2-rig that is coexponentiable in RIG yet is not a deformation retract of any presheaf category on a small category, or show that one of the two dual sub-2-categories arising from species or symmetric operads fails to be cartesian closed under the induced structure.

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

If this is right

A symmetric 2-rig is coexponentiable in RIG exactly when it is a deformation retract of a presheaf category.
The dual of RIG therefore carries cartesian closed structure on the full sub-2-category of combinatorial species.
The same dual carries cartesian closed structure on the full sub-2-category of symmetric operads.
Coexponentiable objects supply a uniform source of internal-hom data for both combinatorial settings.

Where Pith is reading between the lines

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

The same deformation-retract criterion may classify coexponentiable objects in nearby cocartesian 2-categories of non-symmetric or braided 2-rigs.
Explicit coexponents for free or finitely presented 2-rigs would give concrete formulae for the internal homs of species and operads.
The result suggests a general pattern: cartesian closure on duals of algebraic 2-categories often reduces to retracts of free cocompletions.

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

Clean characterization of coexponentiable symmetric 2-rigs as deformation retracts of presheaf categories, with a useful application to species and operad duals; abstract-only so proofs uncheckable but the claim is coherent specialized work.

read the letter

The one thing to know is that this paper characterizes the coexponentiable objects in the cocartesian 2-category RIG of symmetric 2-rigs (with the usual strong monoidal cocontinuous functors and monoidal natural transformations) as precisely the deformation retracts of presheaf categories [C^op, Set]. They then use that to give a uniform account of why two dual sub-2-categories coming from combinatorial species and from symmetric operads are cartesian closed.

That characterization is the actual new piece. It sits inside an established program on 2-rigs and Day convolution, but packaging coexponentiability this way and tying it directly to the species/operad duals is a solid, usable contribution for people who work with those structures. The abstract is clear about the ambient 2-category and the application, so the logical shape of the result is easy to see.

The soft spot is simply that we only have the abstract. The necessity and sufficiency of the deformation-retract condition depend on the morphisms of RIG being exactly the right ones for free coproducts and for the coexponent data to work; without the body one cannot check the definitions of “deformation retract” or the universal-property arguments. That is the usual ambient-setup risk for a pure 2-categorical characterization paper, not a red flag. Nothing in the abstract looks circular or overfitted.

This is for categorical algebraists and people working on species, operads, or 2-rigs. A reader who already cares about coexponentiability or cartesian closed duals of RIG will get value from it. It deserves a serious referee; the claim is sharp enough and the application concrete enough that peer review is the right next step. I would send it out.

Referee Report

2 major / 1 minor

Summary. The manuscript studies coexponentiability in the cocartesian 2-category RIG whose objects are symmetric 2-rigs, 1-cells are symmetric strong monoidal cocontinuous functors, and 2-cells are symmetric monoidal natural transformations. It claims that an object of RIG is coexponentiable (i.e., the coproduct functor − ⊔ R admits a right adjoint) if and only if it is a deformation retract of a presheaf category [C^op, Set] for some small category C. As applications, the paper asserts that this characterization yields an account of the cartesian closure of two full sub-2-categories of the dual of RIG arising from combinatorial species and from symmetric operads.

Significance. If the characterization is correct, the work would supply a clean structural description of coexponentiable symmetric 2-rigs and a uniform 2-categorical explanation of cartesian closure phenomena for species and operads. That would be a useful contribution to the 2-categorical and combinatorial literature on Day convolution, free 2-rigs, and operadic structures. The abstract-level framing is coherent and the intended applications are of genuine interest; however, significance cannot be confirmed without the body of the paper.

major comments (2)

[Abstract] Only the abstract is available for review. The central biconditional—that coexponentiable objects of RIG are precisely the deformation retracts of presheaf categories—cannot be checked: there are no definitions of coexponentiability in RIG, no construction of the deformation retract (nor verification that the section and retraction are morphisms of RIG), and no lemmas or proof sketches establishing necessity or sufficiency. The claim is therefore unsupported by inspectable mathematics in the review corpus.
[Abstract] The ambient 2-category RIG (objects, 1-cells, 2-cells) is the load-bearing premise for both directions of the characterization. Any mismatch between the chosen 1-cells (symmetric strong monoidal cocontinuous functors) and the monoidal/cocompleteness data needed for Day convolution or free 2-rig coproducts would invalidate either direction. Without the body one cannot confirm that the deformation supplies the required coexponent data or that every such retract satisfies the universal property of coexponentiation. The subsequent cartesian-closure claims for the duals of the species and operad sub-2-categories inherit the same gap.

minor comments (1)

[Abstract] The abstract is clear and well-written, but a published version should ensure that “deformation retract” is defined early and that the two application sub-2-categories are named and related to standard literature on species and operads.

Circularity Check

0 steps flagged

Abstract-only pure characterization: no circular reduction exhibited; coexponentiability identified with deformation retracts of presheaf categories without fitted inputs or self-definitional loops.

full rationale

Only the abstract is available. It states a characterization theorem: coexponentiable objects in the cocartesian 2-category RIG (symmetric 2-rigs, symmetric strong monoidal cocontinuous functors, monoidal natural transformations) are precisely the deformation retracts of presheaf categories [C^op, Set]. An application then accounts for cartesian closure of two full sub-2-categories of RIG^op arising from combinatorial species and symmetric operads. No equations, lemmas, or proofs appear, so no step can be shown to reduce by construction (self-definitional, fitted-input-as-prediction, or uniqueness imported from the authors). There is no data fitting, no renaming of a known empirical pattern, and no load-bearing self-citation chain visible in the abstract. The ambient 2-category RIG is stipulated as the setting; that is ordinary mathematical setup, not circularity under the stated rules. Residual uncheckability of necessity/sufficiency is a completeness/correctness concern, not circularity. Per hard rules, honest non-finding with empty steps is required when no specific reduction can be quoted.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 0 invented entities

Abstract-only pure category theory. No free numerical parameters. Background is standard higher category theory plus domain structure of symmetric 2-rigs and the 2-category RIG. No new physical entities. Invented mathematical notions (if any beyond standard 2-rig language) cannot be audited without the body.

axioms (3)

domain assumption Existence and well-behavedness of the cocartesian 2-category RIG of symmetric 2-rigs, symmetric strong monoidal cocontinuous functors, and symmetric monoidal natural transformations.
The entire coexponentiability analysis is internal to RIG as set up in the abstract; correctness of that ambient 2-category is assumed.
standard math Standard 2-category theory: coexponentiability, deformation retracts, presheaf categories on small categories, dual 2-categories, and cartesian closure of full sub-2-categories.
These are background notions from category theory that the abstract invokes without re-deriving foundations.
domain assumption Combinatorial species and symmetric operads induce the two full sub-2-categories of the dual of RIG whose cartesian closure is explained by the characterization.
The application clause treats those dual sub-2-categories as given from existing theory.

pith-pipeline@v1.1.0-grok45 · 5987 in / 2503 out tokens · 22140 ms · 2026-07-15T04:09:18.280781+00:00 · methodology

0 comments

read the original abstract

We study coexponentiability in the context of the cocartesian 2-category RIG of symmetric 2-rigs, symmetric strong monoidal cocontinuous functors, and symmetric monoidal natural transformations. Our results characterize the coexponentiable symmetric 2-rigs as those that are deformation retracts of presheaf categories over small categories. As an application, we give an account of the cartesian closure of two full sub-2-categories of the dual of RIG arising from the theory of combinatorial species and the theory of symmetric operads.

Symmetric 2-rigs: coexponentiability and cartesian closure

Core claim

What carries the argument

Load-bearing premise

What would settle it

If this is right

Where Pith is reading between the lines

discussion (0)