{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,17]],"date-time":"2026-01-17T11:23:17Z","timestamp":1768648997356,"version":"3.49.0"},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2020,9,24]],"date-time":"2020-09-24T00:00:00Z","timestamp":1600905600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2020,9,24]],"date-time":"2020-09-24T00:00:00Z","timestamp":1600905600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"name":"University of Oxford"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Appl Categor Struct"],"published-print":{"date-parts":[[2021,2]]},"abstract":"Abstract<\/jats:title>In this paper, we introduce differential exponential maps in Cartesian differential categories, which generalizes the exponential function $$e^x$$<\/jats:tex-math>\n \n e<\/mml:mi>\n x<\/mml:mi>\n <\/mml:msup>\n <\/mml:math><\/jats:alternatives><\/jats:inline-formula> from classical differential calculus. A differential exponential map is an endomorphism which is compatible with the differential combinator in such a way that generalizations of $$e^0 = 1$$<\/jats:tex-math>\n \n \n e<\/mml:mi>\n 0<\/mml:mn>\n <\/mml:msup>\n =<\/mml:mo>\n 1<\/mml:mn>\n <\/mml:mrow>\n <\/mml:math><\/jats:alternatives><\/jats:inline-formula>, $$e^{x+y} = e^x e^y$$<\/jats:tex-math>\n \n \n e<\/mml:mi>\n \n x<\/mml:mi>\n +<\/mml:mo>\n y<\/mml:mi>\n <\/mml:mrow>\n <\/mml:msup>\n =<\/mml:mo>\n \n e<\/mml:mi>\n x<\/mml:mi>\n <\/mml:msup>\n \n e<\/mml:mi>\n y<\/mml:mi>\n <\/mml:msup>\n <\/mml:mrow>\n <\/mml:math><\/jats:alternatives><\/jats:inline-formula>, and $$\\frac{\\partial e^x}{\\partial x} = e^x$$<\/jats:tex-math>\n \n \n \n \u2202<\/mml:mi>\n \n e<\/mml:mi>\n x<\/mml:mi>\n <\/mml:msup>\n <\/mml:mrow>\n \n \u2202<\/mml:mi>\n x<\/mml:mi>\n <\/mml:mrow>\n <\/mml:mfrac>\n =<\/mml:mo>\n \n e<\/mml:mi>\n x<\/mml:mi>\n <\/mml:msup>\n <\/mml:mrow>\n <\/mml:math><\/jats:alternatives><\/jats:inline-formula> all hold. Every differential exponential map induces a commutative rig, which we call a differential exponential rig, and conversely, every differential exponential rig induces a differential exponential map. In particular, differential exponential maps can be defined without the need of limits, converging power series, or unique solutions of certain differential equations\u2014which most Cartesian differential categories do not necessarily have. That said, we do explain how every differential exponential map does provide solutions to certain differential equations, and conversely how in the presence of unique solutions, one can derivative 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, the split complex exponential function, and the dual numbers exponential function. As another source of interesting examples, we also study differential exponential maps in the coKleisli category of a differential category.<\/jats:p>","DOI":"10.1007\/s10485-020-09610-0","type":"journal-article","created":{"date-parts":[[2020,9,24]],"date-time":"2020-09-24T20:02:46Z","timestamp":1600977766000},"page":"95-140","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Exponential Functions in Cartesian Differential Categories"],"prefix":"10.1007","volume":"29","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4124-3722","authenticated-orcid":false,"given":"Jean-Simon Pacaud","family":"Lemay","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,9,24]]},"reference":[{"key":"9610_CR1","doi-asserted-by":"publisher","DOI":"10.2307\/j.ctvcm4gdk","volume-title":"Feedback Systems: An Introduction for Scientists and Engineers","author":"KJ Astr\u00f6m","year":"2010","unstructured":"Astr\u00f6m, K.J., Murray, R.M.: Feedback Systems: An Introduction for Scientists and Engineers. Princeton University Press, Princeton (2010)"},{"key":"9610_CR2","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1016\/j.topol.2017.12.010","volume":"235","author":"K Bauer","year":"2018","unstructured":"Bauer, K., Johnson, B., Osborne, C., Riehl, E., Tebbe, A.: Directional derivatives and higher order chain rules for abelian functor calculus. Topol. Appl. 235, 375\u2013427 (2018)","journal-title":"Topol. Appl."},{"issue":"23","key":"9610_CR3","first-page":"622","volume":"22","author":"R Blute","year":"2009","unstructured":"Blute, R., Cockett, J.R.B., Seely, R.A.G.: Cartesian differential categories. Theory Appl. Categ. 22(23), 622\u2013672 (2009)","journal-title":"Theory Appl. Categ."},{"key":"9610_CR4","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/s10485-019-09572-y","volume":"28","author":"RF Blute","year":"2019","unstructured":"Blute, R.F., Cockett, J.R.B., Lemay, J.S.P., Seely, R.A.G.: Differential categories revisited. Appl. Categ. Struct. 28, 171\u2013235 (2019)","journal-title":"Appl. Categ. Struct."},{"issue":"06","key":"9610_CR5","doi-asserted-by":"publisher","first-page":"1049","DOI":"10.1017\/S0960129506005676","volume":"16","author":"RF Blute","year":"2006","unstructured":"Blute, R.F., Cockett, J.R.B., Seely, R.A.G.: Differential categories. Math. Struct. Comput. Sci. 16(06), 1049\u20131083 (2006)","journal-title":"Math. Struct. Comput. Sci."},{"issue":"18","key":"9610_CR6","first-page":"620","volume":"30","author":"RF Blute","year":"2015","unstructured":"Blute, R.F., Cockett, J.R.B., Seely, R.A.G.: Cartesian differential storage categories. Theory Appl. Categ. 30(18), 620\u2013686 (2015)","journal-title":"Theory Appl. Categ."},{"key":"9610_CR7","unstructured":"Blute, R.F., Ehrhard, T., Tasson, C.: A convenient differential category. Cahiers de Topologie et G\u00e9om\u00e9trie Diff\u00e9rentielle Cat\u00e9goriques LIII 211\u2013232 (2012)"},{"issue":"4","key":"9610_CR8","doi-asserted-by":"publisher","first-page":"416","DOI":"10.1017\/S0960129520000134","volume":"30","author":"J Clift","year":"2020","unstructured":"Clift, J., Murfet, D.: Cofree coalgebras and differential linear logic. Math. Struct. Comput. Sci. 30(4), 416\u2013457 (2020). https:\/\/doi.org\/10.1017\/S0960129520000134","journal-title":"Math. Struct. Comput. Sci."},{"issue":"26","key":"9610_CR9","first-page":"835","volume":"32","author":"J Cockett","year":"2017","unstructured":"Cockett, J., Cruttwell, G.: Connections in tangent categories. Theory Appl. Categ. 32(26), 835\u2013888 (2017)","journal-title":"Theory Appl. Categ."},{"issue":"21","key":"9610_CR10","first-page":"537","volume":"25","author":"J Cockett","year":"2011","unstructured":"Cockett, J., Cruttwell, G., Gallagher, J.: Differential restriction categories. Theory Appl. Categ. 25(21), 537\u2013613 (2011)","journal-title":"Theory Appl. Categ."},{"key":"9610_CR11","unstructured":"Cockett, J., Cruttwell, G., Lemay, J.S.: Differential equations in a tangent category i: Complete vector fields, flows, and exponentials. arXiv preprint arXiv:1911.12120 (2019)"},{"issue":"2","key":"9610_CR12","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/s10485-013-9312-0","volume":"22","author":"JRB Cockett","year":"2014","unstructured":"Cockett, J.R.B., Cruttwell, G.S.H.: Differential structure, tangent structure, and SDG. Appl. Categ. Struct. 22(2), 331\u2013417 (2014)","journal-title":"Appl. Categ. Struct."},{"key":"9610_CR13","first-page":"10","volume":"59","author":"JRB Cockett","year":"2018","unstructured":"Cockett, J.R.B., Cruttwell, G.S.H.: Differential bundles and fibrations for tangent categories. Cahiers de Topologie et G\u00e9om\u00e9trie Diff\u00e9rentielle Cat\u00e9goriques 59, 10\u201392 (2018)","journal-title":"Cahiers de Topologie et G\u00e9om\u00e9trie Diff\u00e9rentielle Cat\u00e9goriques"},{"issue":"15","key":"9610_CR14","first-page":"394","volume":"25","author":"JRB Cockett","year":"2011","unstructured":"Cockett, J.R.B., Seely, R.A.G.: The Fa\u00e0 di Bruno construction. Theory Appl. Categ. 25(15), 394\u2013425 (2011)","journal-title":"Theory Appl. Categ."},{"key":"9610_CR15","doi-asserted-by":"publisher","first-page":"995","DOI":"10.1017\/S0960129516000372","volume":"28","author":"T Ehrhard","year":"2018","unstructured":"Ehrhard, T.: An introduction to differential linear logic: proof-nets, models and antiderivatives. Math. Struct. Comput. Sci. 28, 995\u20131060 (2018)","journal-title":"Math. Struct. Comput. Sci."},{"issue":"1","key":"9610_CR16","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0304-3975(03)00392-X","volume":"309","author":"T Ehrhard","year":"2003","unstructured":"Ehrhard, T., Regnier, L.: The differential lambda-calculus. Theoret. Comput. Sci. 309(1), 1\u201341 (2003)","journal-title":"Theoret. Comput. Sci."},{"issue":"12","key":"9610_CR17","doi-asserted-by":"publisher","first-page":"3757","DOI":"10.1007\/s10773-017-3304-z","volume":"56","author":"A Jen\u010dov\u00e1","year":"2017","unstructured":"Jen\u010dov\u00e1, A., Jen\u010da, G.: On monoids in the category of sets and relations. Int. J. Theor. Phys. 56(12), 3757\u20133769 (2017)","journal-title":"Int. J. Theor. Phys."},{"key":"9610_CR18","volume-title":"Algebra. Graduate Texts in Mathematics, revised 3rd edn","author":"S Lang","year":"2002","unstructured":"Lang, S.: Algebra. Graduate Texts in Mathematics, revised 3rd edn, vol. 211. Springer, Berlin (2002)"},{"issue":"35","key":"9610_CR19","first-page":"1072","volume":"33","author":"JSP Lemay","year":"2018","unstructured":"Lemay, J.S.P.: A tangent category alternative to the faa di bruno construction. Theory Appl. Categ. 33(35), 1072\u20131110 (2018)","journal-title":"Theory Appl. Categ."},{"issue":"9","key":"9610_CR20","first-page":"286","volume":"32","author":"P Leung","year":"2017","unstructured":"Leung, P.: Classifying tangent structures using Weil algebras. Theory Appl. Categ. 32(9), 286\u2013337 (2017)","journal-title":"Theory Appl. Categ."},{"issue":"3","key":"9610_CR21","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1017\/S0960129511000594","volume":"22","author":"G Manzonetto","year":"2012","unstructured":"Manzonetto, G.: What is a categorical model of the differential and the resource $$\\lambda $$-calculi? Math. Struct. Comput. Sci. 22(3), 451\u2013520 (2012)","journal-title":"Math. Struct. Comput. Sci."},{"key":"9610_CR22","first-page":"1","volume":"28","author":"PA Melli\u00e8s","year":"2017","unstructured":"Melli\u00e8s, P.A., Tabareau, N., Tasson, C.: An explicit formula for the free exponential modality of linear logic. Math. Struct. Comput. Sci. 28, 1\u201334 (2017)","journal-title":"Math. Struct. Comput. Sci."},{"issue":"12","key":"9610_CR23","doi-asserted-by":"publisher","first-page":"5289","DOI":"10.1016\/j.jpaa.2015.05.012","volume":"219","author":"D Murfet","year":"2015","unstructured":"Murfet, D.: On Sweedler\u2019s cofree cocommutative coalgebra. J. Pure Appl. Algebra 219(12), 5289\u20135304 (2015)","journal-title":"J. Pure Appl. Algebra"},{"key":"9610_CR24","volume-title":"Complex Numbers in n Dimensions","author":"S Olariu","year":"2002","unstructured":"Olariu, S.: Complex Numbers in n Dimensions, vol. 190. Elsevier Science, Amsterdam (2002)"},{"key":"9610_CR25","volume-title":"Geometry of Lie groups","author":"B Rosenfeld","year":"2013","unstructured":"Rosenfeld, B., Wiebe, B.: Geometry of Lie groups, vol. 393. Springer, Berlin (2013)"},{"issue":"1","key":"9610_CR26","doi-asserted-by":"publisher","first-page":"51","DOI":"10.2140\/pjm.1984.113.51","volume":"113","author":"L Van Den Dries","year":"1984","unstructured":"Van Den Dries, L.: Exponential rings, exponential polynomials and exponential functions. Pac. J. Math. 113(1), 51\u201366 (1984)","journal-title":"Pac. J. Math."}],"container-title":["Applied Categorical Structures"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-020-09610-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10485-020-09610-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-020-09610-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,9,24]],"date-time":"2021-09-24T08:06:42Z","timestamp":1632470802000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10485-020-09610-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,9,24]]},"references-count":26,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2021,2]]}},"alternative-id":["9610"],"URL":"https:\/\/doi.org\/10.1007\/s10485-020-09610-0","relation":{},"ISSN":["0927-2852","1572-9095"],"issn-type":[{"value":"0927-2852","type":"print"},{"value":"1572-9095","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,9,24]]},"assertion":[{"value":"12 December 2019","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"14 September 2020","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"24 September 2020","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}