[Alta-Logic] Peripatetic Seminar

[Benjamin MacAdam]

Speaker: JS Lemay

Date and time: Wednesday, December 18th, 2019 at 11:00

Location: ICT 616

Title: Exponential Functions for Cartesian Differential Categories.

Abstract: We introduce differential exponential maps in Cartesian differential categories, which generalizes the exponential function from classical differential calculus. In particular, differential exponential maps can be defined without the need for limits, converging power series, multiplication, or unique solutions of certain differential equations -- which most Cartesian differential categories do not necessarily have. Every differential exponential map induces a commutative rig, called a differential exponential rig, and conversely, every differential exponential rig induces 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.

Preprint: https://arxiv.org/pdf/1911.04790.pdf

http://peripatetic-seminar.cpsc.ucalgary.ca/wp/



-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20191215/a7583ade/attachment.html>