Taylor Morphisms

Gabriel Ng

arxiv: 2308.11731 · v3 · submitted 2023-08-22 · 🧮 math.AC · math.LO

Taylor Morphisms

Gabriel Ng This is my paper

Pith reviewed 2026-05-24 08:14 UTC · model grok-4.3

classification 🧮 math.AC math.LO

keywords generalised Taylor morphismsdifferential ringsHurwitz seriesright adjointforgetful functorcommuting derivationsring homomorphisms

0 comments

The pith

Twisting the ring of Hurwitz series produces a right adjoint functor that characterises all generalised Taylor morphisms over differential rings with finitely many commuting derivations.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper tries to establish a uniform algebraic construction for turning ordinary ring homomorphisms into differential ones, generalising the Taylor expansion idea to arbitrary differential rings. It achieves this by twisting the ring of Hurwitz series to equip it with the right structure. The proof shows this construction is the right adjoint to a forgetful functor. A reader would care because it delivers an explicit characterisation of all such morphisms for rings with finitely many commuting derivations.

Core claim

We study generalised Taylor morphisms, functors which construct differential ring homomorphisms from ring homomorphisms in a uniform way, analogous to the Taylor expansion for smooth functions. We generalise the construction of the twisted Taylor morphism to arbitrary differential rings by 'twisting' the ring of Hurwitz series, and prove that this results in a functor which is the right adjoint to a certain forgetful functor. We therefore give a concrete characterisation of all generalised Taylor morphisms over all differential rings with finitely many commuting derivations.

What carries the argument

The twisted ring of Hurwitz series that induces the right adjoint functor for generalised Taylor morphisms.

Load-bearing premise

The twisting of the ring of Hurwitz series must produce a valid differential ring structure that is compatible with arbitrary differential rings.

What would settle it

Finding a differential ring with commuting derivations where the twisted Hurwitz series does not define a differential ring homomorphism or breaks the adjunction property would falsify the result.

read the original abstract

We study generalised Taylor morphisms, functors which construct differential ring homomorphisms from ring homomorphisms in a uniform way, analogous to the Taylor expansion for smooth functions. We generalise the construction of the twisted Taylor morphism by Le\'on S\'anchez and Tressl to arbitrary differential rings by `twisting' the ring of Hurwitz series, and prove that this results in a functor which is the right adjoint to a certain forgetful functor. We therefore give a concrete characterisation of all generalised Taylor morphisms over all differential rings with finitely many commuting derivations.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

Ng extends the twisted Taylor morphism to arbitrary differential rings via Hurwitz series twisting and characterizes the resulting functor as a right adjoint, which is a direct but useful step if the details hold.

read the letter

The main new piece is the move from the specific case in León Sánchez and Tressl to arbitrary differential rings with finitely many commuting derivations. The construction twists the Hurwitz series ring so that ordinary ring homomorphisms produce differential ring homomorphisms in a uniform way, and the paper shows this functor is right adjoint to a forgetful functor. That supplies the claimed characterization of all generalized Taylor morphisms. The approach stays close to the prior work and uses standard adjunction language without extra layers, which keeps it readable for people already in differential algebra. The soft spot is the verification step for the twisting itself. The abstract states that the twisted series carries a compatible differential structure, but the explicit checks on how the derivations act and commute need to be seen in full to confirm there are no hidden restrictions or calculation errors. The adjunction proof is the other part that requires inspection for completeness. Nothing in the setup looks circular or dependent on fitted parameters. The citations track the relevant earlier results without padding. This is for readers who already work with differential rings and categorical characterizations of homomorphisms. Someone tracking expansions or Taylor-type maps in algebra would pick up the generalization and the adjoint description. It deserves a serious referee because the claim is concrete, the methods are standard, and the result can be checked directly once the proofs are in front of someone. I would send it to review.

Referee Report

0 major / 1 minor

Summary. The paper studies generalised Taylor morphisms as functors that uniformly construct differential ring homomorphisms from ordinary ring homomorphisms, in analogy with Taylor expansions. It generalizes the twisted Taylor morphism of León Sánchez and Tressl to arbitrary differential rings (with finitely many commuting derivations) by twisting the ring of Hurwitz series, proves that the resulting construction yields a functor that is right adjoint to a forgetful functor, and thereby obtains a concrete characterization of all such morphisms.

Significance. If the adjunction and the compatibility of the twisted Hurwitz series construction with arbitrary differential ring structures are established, the work supplies a uniform categorical characterization that extends prior results in differential algebra and may facilitate the study of differential homomorphisms in a functorial setting.

minor comments (1)

The abstract states that the twisting produces a differential ring structure compatible with arbitrary base rings, but does not indicate where in the manuscript the verification of the derivation rules and the universal property of the adjunction are carried out.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their accurate summary of the manuscript and for recognizing the significance of the categorical characterization of generalised Taylor morphisms via the twisted Hurwitz series construction. The referee's overview correctly identifies the main results: the generalization from the work of León Sánchez and Tressl, the adjunction with the forgetful functor, and the restriction to differential rings with finitely many commuting derivations.

Circularity Check

0 steps flagged

No significant circularity; derivation uses external prior work and standard adjunctions

full rationale

The paper generalizes the twisted Taylor morphism construction from León Sánchez and Tressl (distinct external authors) to arbitrary differential rings via twisting the Hurwitz series ring, then proves the resulting functor is a right adjoint to a forgetful functor using standard categorical methods. This yields a characterization of generalised Taylor morphisms. No self-citations, self-definitional steps, fitted parameters renamed as predictions, or ansatzes smuggled via citation are present. The central claim rests on an explicit construction and adjunction proof that is independently verifiable and does not reduce to its own inputs by construction. The reader's assessment of score 2 aligns with minor external citations that are not load-bearing.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper relies on established concepts from differential algebra and category theory without introducing new free parameters or entities.

axioms (2)

standard math Standard properties of differential rings with commuting derivations
Background assumption for the domain of the functors.
standard math Existence and differential structure of the Hurwitz series ring
Used as the base object for the twisting construction.

pith-pipeline@v0.9.0 · 5596 in / 1020 out tokens · 29544 ms · 2026-05-24T08:14:01.724868+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

7 extracted references · 7 canonical work pages

[1]

write newline

" write newline "" before.all 'output.state := FUNCTION fin.entry add.period write newline FUNCTION new.block output.state before.all = 'skip after.block 'output.state := if FUNCTION new.sentence output.state after.block = 'skip output.state before.all = 'skip after.sentence 'output.state := if if FUNCTION not #0 #1 if FUNCTION and 'skip pop #0 if FUNCTIO...

work page
[2]

Adjunctions and comonads in differential algebra

William Keigher. Adjunctions and comonads in differential algebra . Pacific Journal of Mathematics , 59(1):99--112, 1975

work page 1975
[3]

William F. Keigher. On the ring of hurwitz series . Communications in Algebra , 25(6):1845--1859, 1997

work page 1997
[4]

On ordinary differentially large fields, 2023, arXiv:2307.12977

Omar León Sánchez and Marcus Tressl. On ordinary differentially large fields, 2023, arXiv:2307.12977

work page arXiv 2023
[5]

Differentially Large Fields

Omar Le \' o n S \' a nchez and Marcus Tressl. Differentially Large Fields . Algebra & Number Theory , 18(2), 2024, arXiv:2005.00888

work page arXiv 2024
[6]

Categories for the Working Mathematician , volume 5 of Graduate Texts in Mathematics

Saunders Mac Lane. Categories for the Working Mathematician , volume 5 of Graduate Texts in Mathematics . Springer New York, New York, NY, 2nd edition, 1978

work page 1978
[7]

Computational Category Theory

D E Rydeheard and R M Burstall. Computational Category Theory . Prentice Hall, New York, 1988

work page 1988

[1] [1]

write newline

" write newline "" before.all 'output.state := FUNCTION fin.entry add.period write newline FUNCTION new.block output.state before.all = 'skip after.block 'output.state := if FUNCTION new.sentence output.state after.block = 'skip output.state before.all = 'skip after.sentence 'output.state := if if FUNCTION not #0 #1 if FUNCTION and 'skip pop #0 if FUNCTIO...

work page

[2] [2]

Adjunctions and comonads in differential algebra

William Keigher. Adjunctions and comonads in differential algebra . Pacific Journal of Mathematics , 59(1):99--112, 1975

work page 1975

[3] [3]

William F. Keigher. On the ring of hurwitz series . Communications in Algebra , 25(6):1845--1859, 1997

work page 1997

[4] [4]

On ordinary differentially large fields, 2023, arXiv:2307.12977

Omar León Sánchez and Marcus Tressl. On ordinary differentially large fields, 2023, arXiv:2307.12977

work page arXiv 2023

[5] [5]

Differentially Large Fields

Omar Le \' o n S \' a nchez and Marcus Tressl. Differentially Large Fields . Algebra & Number Theory , 18(2), 2024, arXiv:2005.00888

work page arXiv 2024

[6] [6]

Categories for the Working Mathematician , volume 5 of Graduate Texts in Mathematics

Saunders Mac Lane. Categories for the Working Mathematician , volume 5 of Graduate Texts in Mathematics . Springer New York, New York, NY, 2nd edition, 1978

work page 1978

[7] [7]

Computational Category Theory

D E Rydeheard and R M Burstall. Computational Category Theory . Prentice Hall, New York, 1988

work page 1988