{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,7]],"date-time":"2026-04-07T20:15:20Z","timestamp":1775592920757,"version":"3.50.1"},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2019,7,4]],"date-time":"2019-07-04T00:00:00Z","timestamp":1562198400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2019,7,4]],"date-time":"2019-07-04T00:00:00Z","timestamp":1562198400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100002790","name":"Canadian Network for Research and Innovation in Machining Technology, Natural Sciences and Engineering Research Council of Canada","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100002790","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002790","name":"Canadian Network for Research and Innovation in Machining Technology, Natural Sciences and Engineering Research Council of Canada","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100002790","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003151","name":"FRQNT","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100003151","id-type":"DOI","asserted-by":"crossref"}]},{"name":"Oxford-Google DeepMind Graduate Scholarship"},{"DOI":"10.13039\/501100014748","name":"Clarendon Fund","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100014748","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":[[2020,4]]},"DOI":"10.1007\/s10485-019-09572-y","type":"journal-article","created":{"date-parts":[[2019,7,4]],"date-time":"2019-07-04T06:03:19Z","timestamp":1562220199000},"page":"171-235","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":18,"title":["Differential Categories Revisited"],"prefix":"10.1007","volume":"28","author":[{"given":"R. F.","family":"Blute","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J. R. B.","family":"Cockett","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4124-3722","authenticated-orcid":false,"given":"J.-S. P.","family":"Lemay","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R. A. G.","family":"Seely","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,7,4]]},"reference":[{"key":"9572_CR1","doi-asserted-by":"crossref","unstructured":"Bierman, G.M.: What is a categorical model of intuitionistic linear logic? In: International Conference on Typed Lambda Calculi and Applications, pp. 78\u201393. Springer (1995)","DOI":"10.1007\/BFb0014046"},{"issue":"4","key":"9572_CR2","first-page":"253","volume":"52","author":"RF Blute","year":"2011","unstructured":"Blute, R.F., Cockett, J.R.B., Porter, T., Seely, R.A.G.: K\u00e4hler categories. Cahiers de Topologie et G\u00e9om\u00e9trie Diff\u00e9rentielle Cat\u00e9goriques 52(4), 253\u2013268 (2011)","journal-title":"Cahiers de Topologie et G\u00e9om\u00e9trie Diff\u00e9rentielle Cat\u00e9goriques"},{"issue":"06","key":"9572_CR3","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":"23","key":"9572_CR4","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(23), 622\u2013672 (2009)","journal-title":"Theory Appl. Categ."},{"issue":"18","key":"9572_CR5","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":"9572_CR6","first-page":"211","volume":"LIII","author":"RF Blute","year":"2012","unstructured":"Blute, R.F., Ehrhard, T., Tasson, C.: A convenient differential category. Cahiers de Top. et G\u00e9om Diff LIII, 211\u2013232 (2012)","journal-title":"Cahiers de Top. et G\u00e9om Diff"},{"key":"9572_CR7","first-page":"243","volume":"57","author":"RF Blute","year":"2016","unstructured":"Blute, R.F., Lucyshyn-Wright, R.B.B., O\u2019Neill, K.: Derivations in codifferential categories. Cahiers de Topologie et G\u00e9om\u00e9trie Diff\u00e9rentielle Cat\u00e9goriques 57, 243\u2013280 (2016)","journal-title":"Cahiers de Topologie et G\u00e9om\u00e9trie Diff\u00e9rentielle Cat\u00e9goriques"},{"issue":"1","key":"9572_CR8","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. Theor. Comput. Sci. 309(1), 1\u201341 (2003)","journal-title":"Theor. Comput. Sci."},{"issue":"2","key":"9572_CR9","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1016\/j.tcs.2006.08.003","volume":"364","author":"T Ehrhard","year":"2006","unstructured":"Ehrhard, T., Regnier, L.: Differential interaction nets. Theor. Comput. Sci. 364(2), 166\u2013195 (2006)","journal-title":"Theor. Comput. Sci."},{"key":"9572_CR10","doi-asserted-by":"crossref","unstructured":"Fiore, M.P.: Differential structure in models of multiplicative biadditive intuitionistic linear logic. In: International Conference on Typed Lambda Calculi and Applications, pp. 163\u2013177. Springer (2007)","DOI":"10.1007\/978-3-540-73228-0_13"},{"key":"9572_CR11","volume-title":"An Introduction to Rota\u2013Baxter Algebra","author":"L Guo","year":"2012","unstructured":"Guo, L.: An Introduction to Rota\u2013Baxter Algebra, vol. 2. International Press Somerville, Somerville (2012)"},{"issue":"3","key":"9572_CR12","doi-asserted-by":"publisher","first-page":"522","DOI":"10.1016\/j.jpaa.2007.06.008","volume":"212","author":"L Guo","year":"2008","unstructured":"Guo, L., Keigher, W.: On differential Rota\u2013Baxter algebras. J. Pure Appl. Algebra 212(3), 522\u2013540 (2008)","journal-title":"J. Pure Appl. Algebra"},{"issue":"1","key":"9572_CR13","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/0001-8708(91)90003-P","volume":"88","author":"A Joyal","year":"1991","unstructured":"Joyal, A., Street, R.: The geometry of tensor calculus, i. Adv. Math. 88(1), 55\u2013112 (1991)","journal-title":"Adv. Math."},{"key":"9572_CR14","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/978-1-4613-0041-0_3","volume-title":"Algebra","author":"Serge Lang","year":"2002","unstructured":"Lang, S.: Algebra, revised 3rd ed. In: Graduate Texts in Mathematics, vol. 211 (2002)"},{"key":"9572_CR15","doi-asserted-by":"crossref","unstructured":"Mac\u00a0Lane, S.: Categories for the Working Mathematician. Springer, New York (1971, revised 2013)","DOI":"10.1007\/978-1-4612-9839-7"},{"key":"9572_CR16","unstructured":"Melli\u00e8s, P.A.: Categorical models of linear logic revisited. \nhttps:\/\/hal.archives-ouvertes.fr\/hal-00154229\n\n. Working paper or preprint (2003)"},{"key":"9572_CR17","unstructured":"Schalk, A.: What is a categorical model of linear logic? Manuscript. \nhttp:\/\/www.cs.man.ac.uk\/~schalk\/notes\/llmodel.pdf\n\n (2004)"},{"key":"9572_CR18","volume-title":"Linear Logic,*-Autonomous Categories and Cofree Coalgebras","author":"RAG Seely","year":"1989","unstructured":"Seely, R.A.G.: Linear Logic,*-Autonomous Categories and Cofree Coalgebras, vol. 92. American Mathematical Society, Providence (1989)"},{"key":"9572_CR19","doi-asserted-by":"crossref","unstructured":"Selinger, P.: A survey of graphical languages for monoidal categories. In: New Structures for Physics, pp. 289\u2013355. Springer (2010)","DOI":"10.1007\/978-3-642-12821-9_4"},{"key":"9572_CR20","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1016\/j.aam.2015.09.014","volume":"72","author":"S Zhang","year":"2016","unstructured":"Zhang, S., Guo, L., Keigher, W.: Monads and distributive laws for rota-baxter and differential algebras. Adv. Appl. Math. 72, 139\u2013165 (2016)","journal-title":"Adv. Appl. Math."}],"container-title":["Applied Categorical Structures"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-019-09572-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10485-019-09572-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-019-09572-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,2]],"date-time":"2020-07-02T23:13:08Z","timestamp":1593731588000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10485-019-09572-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,7,4]]},"references-count":20,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2020,4]]}},"alternative-id":["9572"],"URL":"https:\/\/doi.org\/10.1007\/s10485-019-09572-y","relation":{},"ISSN":["0927-2852","1572-9095"],"issn-type":[{"value":"0927-2852","type":"print"},{"value":"1572-9095","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,7,4]]},"assertion":[{"value":"18 June 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"25 June 2019","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"4 July 2019","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}