An Ultrametric for Cartesian Differential Categories for Taylor Series Convergence

Jean-Simon Pacaud Lemay

Cartesian differential categories provide a categorical framework for multivariable differential calculus and also the categorical semantics of the differential $\lambda$-calculus. Taylo…