Exponential functions in Cartesian differential categories
From MaRDI portal
Publication:2035864
DOI10.1007/s10485-020-09610-0zbMath1475.18014arXiv1911.04790WikidataQ115605338 ScholiaQ115605338MaRDI QIDQ2035864
Publication date: 25 June 2021
Published in: Applied Categorical Structures (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1911.04790
exponential functions; Cartesian differential categories; differential exponential maps; differential exponential rigs
18F40: Synthetic differential geometry, tangent categories, differential categories