  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.
