We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.CT

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Category Theory

Title: Exponential Functions in Cartesian Differential Categories

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 semiring, which we call a differential exponential semiring, and conversely, every differential exponential semiring induces a differential exponential map. In particular, differential exponential maps can be defined without the need for 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, and the dual numbers exponential. And as another source of interesting examples, we also study differential exponential maps in the coKleisli category of a differential category.
Subjects: Category Theory (math.CT)
Cite as: arXiv:1911.04790 [math.CT]
  (or arXiv:1911.04790v1 [math.CT] for this version)

Submission history

From: Jean-Simon Lemay [view email]
[v1] Tue, 12 Nov 2019 11:01:48 GMT (30kb)

Link back to: arXiv, form interface, contact.