A new mathematical preprint proves a product rule for Goodwillie derivatives in differentiable infinity-categories. It shows that taking derivatives respects a key way of combining mathematical functors: pointwise tensor products in the source become Day convolution in the target. In the paper's terminology, the derivatives form a strong symmetric monoidal functor, meaning that this translation preserves the specified combination and its symmetry.
The preprint describes the theorem as a strengthening of an earlier symmetric monoidal result on Goodwillie towers and says the lift was conjectured by Malin.
This is a proof-driven study, not an experiment. The derivation treats Goodwillie derivatives as a functor of 2-categories and uses preservation of cartesian products as the main route to the product rule. Its subject is an abstract mathematical domain of categories and functors, rather than an empirical population or dataset.
What the theorem preserves
The principal theorem concerns a differentiable category C whose stabilization is equivalent to Sp, and the finitary functors from C to Sp specified there. The notation marks a stable target and a restricted mathematical setting, so the conclusions depend on those assumptions. The paper also considers a corresponding setting in which stabilization is a stable Bousfield localization LSp.
One payoff is that the product rule is not the only structure preserved. The derivatives functor preserves finite cartesian products, cotensors and certain pullbacks. A pullback is a way of combining objects over a shared comparison; the qualification matters because the theorem covers a specified class of pullbacks, not every possible one.
Another structural statement concerns a construction called Lambda. On the indicated category of positive symmetric sequences, applying Lambda and then taking derivatives is equivalent to the identity. In plain terms, the sequence is recovered, up to the theory's notion of equivalence, after the two operations are performed.
From products to operads
The structure can then be used to describe derivative operads. An operad is a compact way to encode compatible operations with several inputs. If the derivative terms of the identity are dualizable for every arity n >= 1, the Koszul dual of the derivative operad is equivalent to the coendomorphism operad of the stabilization functor. Koszul duality here refers to passing to a related dual object; the theorem identifies that object with the operation structure associated with stabilization under the stated condition.
The same pattern extends to modules. For a finitary functor F whose derivative terms are dualizable, the paper gives a module-level Koszul-duality equivalence. That places the duality statement alongside a class of functors broader than the single identity case used for the operad description.
The paper presents the product rule as a computational tool for determining operad structures on Goodwillie derivatives. Its broader preservation results retain substantial structure in the 2-categorical formulation of the chain rule and support calculations in examples.
Examples and conditions
The framework is applied in several named settings. For pointed spaces, the derivative operad of the identity is equivalent to the spectral Lie operad. For algebras over an operad O that satisfies the paper's strongly positive condition, the derivative algebra of the identity is equivalent to O itself.
Sheaves provide another example. For a site T and a differentiable category C, the Goodwillie transform of C-valued sheaves is equivalent to sheaves valued in algebras over the derivative operad, and it preserves the sheafification adjunction.
An additional result handles unreduced finitary functors by explicitly including the zero-arity term. For such a functor with stable target, the paper defines the zeroth derivative as the value at the zero object and packages the derivatives as a sequence including arity 0. When stabilization is equivalent to LSp, the derivatives refine to a unital strong symmetric monoidal functor on all finitary functors.
These are conditional mathematical statements. They rely on the differentiability, finitarity and stabilization or localization assumptions in the theorems; the coendomorphism identification adds dualizability, and the preservation result covers only its stated class of pullbacks. No empirical, numerical or experimental validation is provided. The document is arXiv:2608.25682v1, dated 26 August 2026, and identified as a preprint.
Within those boundaries, the preprint offers a reusable route from products to derivative-level structure, with examples involving pointed spaces, operad algebras and sheaves. It is a framework for abstract mathematical calculation, not evidence about human, clinical or laboratory outcomes.
Paper data and sources
Original title: The product rule in Goodwillie calculus
Authors: Max Blans, Thomas Blom
Journal/Repository: arXiv
Status: Preprint, not yet peer-reviewed
First online: 2026-08-26
DOI: Not available
Original paper · Full text