{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T17:45:15Z","timestamp":1778262315652,"version":"3.51.4"},"reference-count":43,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2021,6,18]],"date-time":"2021-06-18T00:00:00Z","timestamp":1623974400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2021,6,18]],"date-time":"2021-06-18T00:00:00Z","timestamp":1623974400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100000923","name":"Australian Research Council","doi-asserted-by":"crossref","award":["FT160100393"],"award-info":[{"award-number":["FT160100393"]}],"id":[{"id":"10.13039\/501100000923","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100000923","name":"Australian Research Council","doi-asserted-by":"crossref","award":["DP190102432"],"award-info":[{"award-number":["DP190102432"]}],"id":[{"id":"10.13039\/501100000923","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Appl Categor Struct"],"published-print":{"date-parts":[[2021,12]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We exhibit the cartesian differential categories of Blute, Cockett and Seely as a particular kind of enriched category. The base for the enrichment is the category of commutative monoids\u2014or in a straightforward generalisation, the category of modules over a commutative rig<jats:italic>k<\/jats:italic>. However, the tensor product on this category is not the usual one, but rather a<jats:italic>warping<\/jats:italic>of it by a certain monoidal comonad<jats:italic>Q<\/jats:italic>. Thus the enrichment base is not a monoidal category in the usual sense, but rather a<jats:italic>skew monoidal<\/jats:italic>category in the sense of Szlach\u00e1nyi. Our first main result is that cartesian differential categories are the same as categories with finite products enriched over this skew monoidal base. The comonad<jats:italic>Q<\/jats:italic>involved is, in fact, an example of a differential modality. Differential modalities are a kind of comonad on a symmetric monoidal<jats:italic>k<\/jats:italic>-linear category with the characteristic feature that their co-Kleisli categories are cartesian differential categories. Using our first main result, we are able to prove our second one: that every small cartesian differential category admits a full, structure-preserving embedding into the cartesian differential category induced by a differential modality (in fact, a monoidal differential modality on a monoidal closed category\u2014thus, a model of intuitionistic differential linear logic). This resolves an important open question in this area.<\/jats:p>","DOI":"10.1007\/s10485-021-09649-7","type":"journal-article","created":{"date-parts":[[2021,6,18]],"date-time":"2021-06-18T07:03:36Z","timestamp":1623999816000},"page":"1099-1150","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Cartesian Differential Categories as Skew Enriched Categories"],"prefix":"10.1007","volume":"29","author":[{"given":"Richard","family":"Garner","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4124-3722","authenticated-orcid":false,"given":"Jean-Simon Pacaud","family":"Lemay","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,6,18]]},"reference":[{"issue":"1","key":"9649_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2168\/LMCS-11(1:3)2015","volume":"11","author":"T Altenkirch","year":"2015","unstructured":"Altenkirch, T., Chapman, J., Uustalu, T.: Monads need not be endofunctors. Log. Methods Comput. Sci. 11(1), 1\u20133 (2015)","journal-title":"Log. Methods Comput. Sci."},{"key":"9649_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."},{"key":"9649_CR3","doi-asserted-by":"crossref","unstructured":"Benton, P.N.: A mixed linear and non-linear logic: proofs, terms and models (extended abstract). In: Computer Science Logic (Kazimierz, 1994), Lecture Notes in Computer Science, vol. 933, pp. 121\u2013135. Springer (1995)","DOI":"10.1007\/BFb0022251"},{"key":"9649_CR4","first-page":"620","volume":"30","author":"R Blute","year":"2015","unstructured":"Blute, R., Cockett, J.R.B., Seely, R.A.G.: Cartesian differential storage categories. Theory Appl. Categ. 30, 620\u2013687 (2015)","journal-title":"Theory Appl. Categ."},{"issue":"4","key":"9649_CR5","first-page":"243","volume":"57","author":"R Blute","year":"2016","unstructured":"Blute, R., Lucyshyn-Wright, R.B.B., O\u2019Neill, K.: Derivations in codifferential categories. Cahiers de Topologie et G\u00e9om\u00e9trie Diff\u00e9rentielle Cat\u00e9goriques 57(4), 243\u2013279 (2016)","journal-title":"Cahiers de Topologie et G\u00e9om\u00e9trie Diff\u00e9rentielle Cat\u00e9goriques"},{"issue":"2","key":"9649_CR6","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(2), 171\u2013235 (2019)","journal-title":"Appl. Categ. Struct."},{"key":"9649_CR7","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, 1049\u20131083 (2006)","journal-title":"Math. Struct. Comput. Sci."},{"key":"9649_CR8","first-page":"622","volume":"22","author":"RF Blute","year":"2009","unstructured":"Blute, R.F., Cockett, J.R.B., Seely, R.A.G.: Cartesian differential categories. Theory Appl. Categ. 22, 622\u2013672 (2009)","journal-title":"Theory Appl. Categ."},{"issue":"1","key":"9649_CR9","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/s40062-015-0121-z","volume":"12","author":"J Bourke","year":"2017","unstructured":"Bourke, J.: Skew structures in 2-category theory and homotopy theory. J. Homotopy Relat. Struct. 12(1), 31\u201381 (2017)","journal-title":"J. Homotopy Relat. Struct."},{"issue":"2","key":"9649_CR10","doi-asserted-by":"publisher","first-page":"745","DOI":"10.1016\/j.aim.2011.02.008","volume":"227","author":"A Brugui\u00e8res","year":"2011","unstructured":"Brugui\u00e8res, A., Lack, S., Virelizier, A.: Hopf monads on monoidal categories. Adv. Math. 227(2), 745\u2013800 (2011)","journal-title":"Adv. Math."},{"key":"9649_CR11","doi-asserted-by":"crossref","unstructured":"Bucciarelli, A., Ehrhard, T., Manzonetto, G.: Categorical models for simply typed resource calculi. In: Proceedings of the 26th Conference on the Mathematical Foundations of Programming Semantics (MFPS 2010), Electronic Notes in Theoretical Computer Science, vol. 265, pp. 213\u2013230 (2010)","DOI":"10.1016\/j.entcs.2010.08.013"},{"key":"9649_CR12","doi-asserted-by":"publisher","first-page":"597","DOI":"10.1007\/s10485-017-9504-0","volume":"26","author":"A Campbell","year":"2018","unstructured":"Campbell, A.: Skew-enriched categories. Appl. Categ. Struct. 26, 597\u2013615 (2018)","journal-title":"Appl. Categ. Struct."},{"issue":"4","key":"9649_CR13","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)","journal-title":"Math. Struct. Comput. Sci."},{"key":"9649_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, 394\u2013425 (2011)","journal-title":"Theory Appl. Categ."},{"key":"9649_CR15","doi-asserted-by":"publisher","first-page":"1513","DOI":"10.1017\/S0960129519000070","volume":"29","author":"R Cockett","year":"2019","unstructured":"Cockett, R., Gallagher, J.: Categorical models of the differential $$\\lambda $$-calculus. Math. Struct. Comput. Sci. 29, 1513\u20131555 (2019)","journal-title":"Math. Struct. Comput. Sci."},{"key":"9649_CR16","unstructured":"Cockett, R., Lemay, J.S.P., Lucyshyn-Wright, R.B.B.: Tangent categories from the coalgebras of differential categories. In: 28th EACSL Annual Conference on Computer Science Logic (CSL 2020), Leibniz International Proceedings in Informatics (LIPIcs), vol. 152, pp. 17:1\u201317:17. Schloss Dagstuhl\u2013Leibniz-Zentrum fuer Informatik (2020)"},{"key":"9649_CR17","first-page":"116","volume":"62","author":"GSH Cruttwell","year":"2021","unstructured":"Cruttwell, G.S.H., Lemay, J.S.P., Lucyshyn-Wright, R.B.B.: Integral and differential structure on the free $${C}^\\infty $$-ring modality. Cahiers de Topologie et G\u00e9om\u00e9trie Diff\u00e9rentielle Cat\u00e9goriques 62, 116\u2013176 (2021)","journal-title":"Cahiers de Topologie et G\u00e9om\u00e9trie Diff\u00e9rentielle Cat\u00e9goriques"},{"key":"9649_CR18","doi-asserted-by":"crossref","unstructured":"Day, B.: On closed categories of functors. In: Reports of the Midwest Category Seminar IV, Lecture Notes in Mathematics, vol. 137, pp. 1\u201338. Springer (1970)","DOI":"10.1007\/BFb0060438"},{"key":"9649_CR19","doi-asserted-by":"publisher","first-page":"615","DOI":"10.1017\/S0960129504004645","volume":"15","author":"T Ehrhard","year":"2005","unstructured":"Ehrhard, T.: Finiteness spaces. Math. Struct. Comput. Sci. 15, 615\u2013646 (2005)","journal-title":"Math. Struct. Comput. Sci."},{"key":"9649_CR20","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."},{"key":"9649_CR21","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\u201341 (2003)","journal-title":"Theoret. Comput. Sci."},{"key":"9649_CR22","doi-asserted-by":"crossref","unstructured":"Eilenberg, S., Kelly, G.M.: Closed categories. In: Proceedings of the Conference Categorical Algebra (La Jolla, Calif., 1965), pp. 421\u2013562. Springer (1966)","DOI":"10.1007\/978-3-642-99902-4_22"},{"key":"9649_CR23","doi-asserted-by":"crossref","unstructured":"Fiore, M.P.: Differential structure in models of multiplicative biadditive intuitionistic linear logic. In: Della Rocca, S.R. (ed.) Typed Lambda Calculi and Applications, pp. 163\u2013177. Springer (2007)","DOI":"10.1007\/978-3-540-73228-0_13"},{"key":"9649_CR24","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S0004972700044828","volume":"7","author":"PJ Freyd","year":"1972","unstructured":"Freyd, P.J.: Aspects of topoi. Bull. Aust. Math. Soc. 7, 1\u201376 (1972)","journal-title":"Bull. Aust. Math. Soc."},{"key":"9649_CR25","doi-asserted-by":"crossref","unstructured":"Gabriel, P., Ulmer, F.: Lokal pr\u00e4sentierbare Kategorien. In: Lecture Notes in Mathematics, vol. 221. Springer (1971)","DOI":"10.1007\/BFb0059396"},{"key":"9649_CR26","doi-asserted-by":"publisher","first-page":"1845","DOI":"10.1080\/00927879708825957","volume":"25","author":"WF Keigher","year":"1997","unstructured":"Keigher, W.F.: On the ring of Hurwitz series. Commun. Algebra 25, 1845\u20131859 (1997)","journal-title":"Commun. Algebra"},{"key":"9649_CR27","doi-asserted-by":"crossref","unstructured":"Kelly, G.M.: Doctrinal adjunction. In: Category Seminar (Sydney, 1972\/1973), Lecture Notes in Mathematics, vol. 420, pp. 257\u2013280. Springer (1974)","DOI":"10.1007\/BFb0063105"},{"key":"9649_CR28","unstructured":"Kelly, G.M.: Basic concepts of enriched category theory. In: London Mathematical Society Lecture Note Series, vol.\u00a064. Cambridge University Press (1982). Republished as: Reprints in Theory and Applications of Categories 10 (2005)"},{"key":"9649_CR29","doi-asserted-by":"crossref","first-page":"1","DOI":"10.21136\/HS.2018.01","volume":"2","author":"S Lack","year":"2018","unstructured":"Lack, S.: Operadic categories and their skew monoidal categories of collections. High. Struct. 2, 1\u201329 (2018)","journal-title":"High. Struct."},{"key":"9649_CR30","first-page":"385","volume":"26","author":"S Lack","year":"2012","unstructured":"Lack, S., Street, R.: Skew monoidales, skew warpings and quantum categories. Theory Appl. Categ. 26, 385\u2013402 (2012)","journal-title":"Theory Appl. Categ."},{"key":"9649_CR31","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1016\/j.aim.2014.03.003","volume":"258","author":"S Lack","year":"2014","unstructured":"Lack, S., Street, R.: Triangulations, orientals, and skew monoidal categories. Adv. Math. 258, 351\u2013396 (2014)","journal-title":"Adv. Math."},{"key":"9649_CR32","first-page":"985","volume":"30","author":"S Lack","year":"2015","unstructured":"Lack, S., Street, R.: Skew-monoidal reflection and lifting theorems. Theory Appl. Categ. 30, 985\u20131000 (2015)","journal-title":"Theory Appl. Categ."},{"key":"9649_CR33","first-page":"1072","volume":"33","author":"JSP Lemay","year":"2018","unstructured":"Lemay, J.S.P.: A tangent category alternative to the Fa\u00e0 di Bruno construction. Theory Appl. Categ. 33, 1072\u20131110 (2018)","journal-title":"Theory Appl. Categ."},{"key":"9649_CR34","first-page":"28","volume":"49","author":"S Mac Lane","year":"1963","unstructured":"Mac Lane, S.: Natural associativity and commutativity. Rice Univ. Stud. 49, 28\u201346 (1963)","journal-title":"Rice Univ. Stud."},{"key":"9649_CR35","unstructured":"Maneggia, P.: Models of Linear Polymorphism. Ph.D. thesis, University of Birmingham (2004)"},{"key":"9649_CR36","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, 451\u2013520 (2012)","journal-title":"Math. Struct. Comput. Sci."},{"key":"9649_CR37","doi-asserted-by":"publisher","first-page":"1253","DOI":"10.1017\/S0960129516000426","volume":"28","author":"PA Melli\u00e8s","year":"2018","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, 1253\u20131286 (2018)","journal-title":"Math. Struct. Comput. Sci."},{"key":"9649_CR38","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1016\/S0022-4049(01)00096-2","volume":"168","author":"I Moerdijk","year":"2002","unstructured":"Moerdijk, I.: Monads on tensor categories. J. Pure Appl. Algebra 168, 189\u2013208 (2002)","journal-title":"J. Pure Appl. Algebra"},{"key":"9649_CR39","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, 5289\u20135304 (2015)","journal-title":"J. Pure Appl. Algebra"},{"key":"9649_CR40","doi-asserted-by":"crossref","unstructured":"Street, R.: Enriched categories and cohomology. Quaest. Math. 6, 265\u2013283 (1983). Republished as: Reprints in Theory and Applications of Categories 14 (2005)","DOI":"10.1080\/16073606.1983.9632304"},{"key":"9649_CR41","doi-asserted-by":"publisher","first-page":"973","DOI":"10.1016\/j.jpaa.2012.09.020","volume":"217","author":"R Street","year":"2013","unstructured":"Street, R.: Skew-closed categories. J. Pure Appl. Algebra 217, 973\u2013988 (2013)","journal-title":"J. Pure Appl. Algebra"},{"key":"9649_CR42","unstructured":"Sweedler, M.E.: Hopf algebras. In: Mathematics Lecture Note Series. W. A. Benjamin Inc, New York (1969)"},{"key":"9649_CR43","doi-asserted-by":"publisher","first-page":"1694","DOI":"10.1016\/j.aim.2012.06.027","volume":"231","author":"K Szlach\u00e1nyi","year":"2012","unstructured":"Szlach\u00e1nyi, K.: Skew-monoidal categories and bialgebroids. Adv. Math. 231, 1694\u20131730 (2012)","journal-title":"Adv. Math."}],"container-title":["Applied Categorical Structures"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-021-09649-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10485-021-09649-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-021-09649-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,31]],"date-time":"2022-12-31T15:44:37Z","timestamp":1672501477000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10485-021-09649-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,6,18]]},"references-count":43,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2021,12]]}},"alternative-id":["9649"],"URL":"https:\/\/doi.org\/10.1007\/s10485-021-09649-7","relation":{},"ISSN":["0927-2852","1572-9095"],"issn-type":[{"value":"0927-2852","type":"print"},{"value":"1572-9095","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,6,18]]},"assertion":[{"value":"5 October 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"17 May 2021","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"18 June 2021","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declaration"}},{"value":"The authors have no conflicts of interest to declare that are relevant to the content of this article.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}},{"value":"Code sharing not applicable to this article as no software application or custom code were used for this research.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Code availability"}}]}}