Title: Hyperbolic Functions for Cartesian Differential Categories

Abstract:

Hyperbolic functions are analogues of trigonemtric functions for the hyperbola. Hyperbolic functions have many applications in mathematics, physics, and engineering.

In this talk, I will generalize the hyperbolic functions sinh and cosh in Cartesian differential categories, in the same way I generalized the exponential function. In particular, the sum of these generalized hyperbolic functions will be a generalized exponential function.