[Paper Review] Nel's category theory based differential and integral Calculus, or did Newton know category theory ?

Elemér E Rosinger|ArXiv.org|Apr 28, 2005

Optics and Image Analysis8 references3 citations

TL;DR

This paper presents a category theory-based formulation of classical differential and integral calculus, showing that the standard derivative and integral can be derived via a natural isomorphism—specifically, the diagonal evaluation map—between spaces of continuous functions and functions satisfying an algebraic mean-value condition. The key contribution is a purely algebraic, categorical construction that recovers classical calculus without generalized derivatives or limits, enabling calculus on non-convex domains with empty interior.

ABSTRACT

In a series of publications in the early 1990s, L D Nel set up a study of non-normable topological vector spaces based on methods in category theory. One of the important results showed that the classical operations of derivative and integral in Calculus can in fact be obtained by a rather simple construction in categories. Here we present this result in a concise form. It is important to note that the respective differentiation does not lead to any so called generalized derivatives, for instance, in the sense of distributions, hyperfunctions, etc., but it simply corresponds to the classical one in Calculus. Based on that categorial construction, Nel set up an infinite dimensional calculus which can be applied to functions defined on non-convex domains with empty interior, a situation of great importance in the solution of partial differential equations

Motivation & Objective

• To reformulate classical differential and integral calculus using category theory.
• To show that the standard derivative and integral can be derived from a simple categorical construction without generalized derivatives.
• To extend calculus to functions on non-convex domains with empty interior, relevant for PDEs.
• To establish that the classical derivative arises naturally from an algebraic condition on difference quotients.
• To demonstrate that the diagonal evaluation map provides a natural isomorphism between function spaces, yielding a categorical foundation for calculus.

Proposed method

• Define paths in a Banach space as continuous functions f:I→E for which f(y)−f(x)=(y−x)hf(x,y) for some continuous hf.
• Introduce the space ad C(I×I,E) of continuous functions h satisfying the algebraic identity (y−x)h(x,y)+(z−y)h(y,z)+(x−z)h(z,x)=0 for all x,y,z∈I.
• Construct the diagonal evaluation map edI,E: ad C(I×I,E) → C(I,E) by (edI,E(h))(x) = h(x,x).
• Prove that edI,E is a natural isomorphism and isometry between the functors ad C(I×I,−) and C(I,−), establishing the categorical foundation.
• Define the derivative Df = edI,E(hf) for f∈Path C(I,E), recovering the classical derivative without limits.
• Define the integral ∫ab f = (b−a)·avf(a,b), where avf(a,b) is the average of f over [a,b], and show it satisfies the Newton-Leibniz formula.

Experimental results

Research questions

• RQ1 Can classical derivatives and integrals be derived from a purely algebraic, categorical construction without limits or generalized functions?
• RQ2 Does the diagonal evaluation map edI,E provide a natural isomorphism between ad C(I×I,−) and C(I,−), thereby justifying a categorical foundation for calculus?
• RQ3 Can this categorical framework extend calculus to functions on non-convex domains with empty interior, as required in PDE theory?
• RQ4 Is the classical derivative f′(x) recoverable as h(x,x) for h∈ad C(I×I,E), even without assuming differentiability or continuity of the difference quotient?
• RQ5 Does the integral defined via averaging satisfy the Newton-Leibniz formula when the derivative is defined categorically?

Key findings

• The diagonal evaluation map edI,E is a natural isomorphism and isometry between the functors ad C(I×I,−) and C(I,−), providing a categorical foundation for calculus.
• The derivative Df = edI,E(hf) for f∈Path C(I,E) recovers the classical derivative f′(x) = hf(x,x), without using limits or continuity of the difference quotient.
• The classical Newton-Leibniz formula ∫ab f′ = f(b)−f(a) holds when the derivative is defined categorically.
• The integral ∫ab f = (b−a)·avf(a,b) satisfies the fundamental theorem of calculus: if F(x) = ∫ax f, then F′ = f.
• The construction extends to all continuous functions via density of polygonal functions, preserving the integral and derivative relations.
• The framework applies to infinite-dimensional Banach spaces and functions on non-convex domains with empty interior, enabling new applications in PDEs.