Exponential Functions in Cartesian Differential Categories

TL;DR

This paper introduces differential exponential maps in Cartesian differential categories, generalizing classical exponential functions, and explores their properties, examples, and connections to differential rigs without requiring limits or solutions of differential equations.

Contribution

It defines differential exponential maps and rigs, establishing their equivalence and providing examples in various categories, expanding the understanding of exponential functions in categorical differential calculus.

Findings

Differential exponential maps generalize classical exponentials.

Every differential exponential map induces a differential exponential rig.

Examples include real, complex, split complex, and dual numbers exponential functions.

Abstract

In this paper, we introduce differential exponential maps in Cartesian differential categories, which generalizes the exponential function $e^x$ from classical differential calculus. A differential exponential map is an endomorphism which is compatible with the differential combinator in such a way that generalizations of $e^0 = 1$, $e^{x+y} = e^x e^y$, and $\frac{\partial e^x}{\partial x} = e^x$ all hold. Every differential exponential map induces a commutative rig, which we call a differential exponential rig, and conversely, every differential exponential rig induces a differential exponential map. In particular, differential exponential maps can be defined without the need of limits, converging power series, or unique solutions of certain differential equations -- which most Cartesian differential categories do not necessarily have. That said, we do explain how every differential exponential map does provide solutions to certain differential equations, and conversely how in the presence of unique solutions, one can derivative a differential exponential map. Examples of differential exponential maps in the Cartesian differential category of real smooth functions include the exponential function, the complex exponential function, the split complex exponential function, and the dual numbers exponential function. As another source of interesting examples, we also study differential exponential maps in the coKleisli category of a differential category.