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.