{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,26]],"date-time":"2026-07-26T08:01:38Z","timestamp":1785052898274,"version":"3.55.0"},"reference-count":23,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2026,7,26]],"date-time":"2026-07-26T00:00:00Z","timestamp":1785024000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,7,26]],"date-time":"2026-07-26T00:00:00Z","timestamp":1785024000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"DOI":"10.13039\/501100000038","name":"Natural Sciences and Engineering Research Council of Canada","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100000038","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001230","name":"Macquarie University","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100001230","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001691","name":"Japan Society for the Promotion of Science","doi-asserted-by":"publisher","award":["P25730"],"award-info":[{"award-number":["P25730"]}],"id":[{"id":"10.13039\/501100001691","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000923","name":"Australian Research Council","doi-asserted-by":"publisher","award":["DE230100303"],"award-info":[{"award-number":["DE230100303"]}],"id":[{"id":"10.13039\/501100000923","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000181","name":"Air Force Office of Scientific Research","doi-asserted-by":"publisher","award":["FA9550-24-1-0008"],"award-info":[{"award-number":["FA9550-24-1-0008"]}],"id":[{"id":"10.13039\/100000181","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Appl Categor Struct"],"published-print":{"date-parts":[[2026,10]]},"DOI":"10.1007\/s10485-026-09880-0","type":"journal-article","created":{"date-parts":[[2026,7,26]],"date-time":"2026-07-26T07:37:05Z","timestamp":1785051425000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Cartesian Linearly Distributive Categories: Revisited"],"prefix":"10.1007","volume":"34","author":[{"given":"Rose","family":"Kudzman-Blais","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jean-Simon Pacaud","family":"Lemay","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2026,7,26]]},"reference":[{"key":"9880_CR1","series-title":"CRM Monograph Series","doi-asserted-by":"publisher","first-page":"784","DOI":"10.1090\/crmm\/029","volume-title":"Monoidal Functors, Species and Hopf Algebras","author":"M Aguiar","year":"2010","unstructured":"Aguiar, M., Mahajan, S.: Monoidal Functors, Species and Hopf Algebras. CRM Monograph Series, vol. 29, p. 784. American Mathematical Society, Providence (2010)"},{"key":"9880_CR2","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/BFb0064579","volume-title":"$$\\ast $$-autonomous Categories","author":"M Barr","year":"1979","unstructured":"Barr, M.: $$\\ast $$-autonomous Categories. Lecture Notes in Mathematics, vol. 752, p. 140. Springer, Berlin (1979)"},{"key":"9880_CR3","doi-asserted-by":"crossref","unstructured":"Blute, R.F., Cockett, J.R.B., Seely, R.A.G., Trimble, T.H.: Natural deduction and coherence for weakly distributive categories. J. Pure Appl. Algebra 113(3), 229\u2013296 (1996)","DOI":"10.1016\/0022-4049(95)00159-X"},{"issue":"3","key":"9880_CR4","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/s10485-010-9241-0","volume":"20","author":"RF Blute","year":"2012","unstructured":"Blute, R.F., Panangaden, P., Slavnov, S.: Deep inference and probabilistic coherence spaces. Appl. Categ. Struct. 20(3), 209\u2013228 (2012)","journal-title":"Appl. Categ. Struct."},{"issue":"3","key":"9880_CR5","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1017\/S0960129500000232","volume":"3","author":"JRB Cockett","year":"1993","unstructured":"Cockett, J.R.B.: Introduction to distributive categories. Math. Struct. Comput. Sci. 3(3), 277\u2013307 (1993)","journal-title":"Math. Struct. Comput. Sci."},{"key":"9880_CR6","first-page":"6","volume":"42","author":"JRB Cockett","year":"2024","unstructured":"Cockett, J.R.B., Pacaud Lemay, J.S.: Classical distributive restriction categories. Theory Appl. Categ. 42, 6\u2013102144 (2024)","journal-title":"Theory Appl. Categ."},{"key":"9880_CR7","series-title":"London Math. Soc. Lecture Note Ser","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1017\/CBO9780511525902.004","volume-title":"Applications of Categories in Computer Science (Durham, 1991)","author":"JRB Cockett","year":"1992","unstructured":"Cockett, J.R.B., Seely, R.A.G.: Weakly distributive categories. In: Applications of Categories in Computer Science (Durham, 1991). London Math. Soc. Lecture Note Ser, vol. 177, pp. 45\u201365. Cambridge University Press, Cambridge (1992)"},{"issue":"2","key":"9880_CR8","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1016\/0022-4049(95)00160-3","volume":"114","author":"JRB Cockett","year":"1997","unstructured":"Cockett, J.R.B., Seely, R.A.G.: Weakly distributive categories. J. Pure Appl. Algebra 114(2), 133\u2013173 (1997)","journal-title":"J. Pure Appl. Algebra"},{"issue":"5","key":"9880_CR9","first-page":"85","volume":"3","author":"JRB Cockett","year":"1997","unstructured":"Cockett, J.R.B., Seely, R.A.G.: Proof theory for full intuitionistic linear logic, bilinear logic, and MIX categories. Theory Appl. Categ. 3(5), 85\u2013131 (1997)","journal-title":"Theory Appl. Categ."},{"issue":"1\u20133","key":"9880_CR10","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1016\/S0022-4049(98)00110-8","volume":"143","author":"JRB Cockett","year":"1999","unstructured":"Cockett, J.R.B., Seely, R.A.G.: Linearly distributive functors. J. Pure Appl. Algebra 143(1\u20133), 155\u2013203 (1999)","journal-title":"J. Pure Appl. Algebra"},{"issue":"4","key":"9880_CR11","first-page":"8","volume":"17","author":"JRB Cockett","year":"2021","unstructured":"Cockett, J.R.B., Comfort, C., Srinivasan, P.V.: Dagger linear logic for categorical quantum mechanics. Log. Methods Comput. Sci. 17(4), 8\u201373 (2021)","journal-title":"Log. Methods Comput. Sci."},{"issue":"1","key":"9880_CR12","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J-Y Girard","year":"1987","unstructured":"Girard, J.-Y.: Linear logic. Theor. Comput. Sci. 50(1), 101 (1987)","journal-title":"Theor. Comput. Sci."},{"issue":"3","key":"9880_CR13","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1017\/S0960129500001328","volume":"1","author":"J-Y Girard","year":"1991","unstructured":"Girard, J.-Y.: A new constructive logic: classical logic. Math. Struct. Comput. Sci. 1(3), 255\u2013296 (1991)","journal-title":"Math. Struct. Comput. Sci."},{"key":"9880_CR14","series-title":"Mathematical Surveys and Monographs","doi-asserted-by":"publisher","first-page":"598","DOI":"10.1090\/surv\/285","volume-title":"Bimonoidal Categories, $$E_n$$-monoidal Categories, and Algebraic $$K$$-Theory","author":"N Johnson","year":"2024","unstructured":"Johnson, N., Yau, D.: Bimonoidal Categories, $$E_n$$-monoidal Categories, and Algebraic $$K$$-Theory. Mathematical Surveys and Monographs, vol. 285, p. 598. American Mathematical Society, Providence (2024)"},{"key":"9880_CR15","series-title":"Cambridge Studies in Advanced Mathematics","first-page":"370","volume-title":"Stone Spaces","author":"PT Johnstone","year":"1986","unstructured":"Johnstone, P.T.: Stone Spaces. Cambridge Studies in Advanced Mathematics, vol. 3, p. 370. Cambridge University Press, Cambridge (1986)"},{"issue":"1","key":"9880_CR16","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1006\/aima.1993.1055","volume":"102","author":"A Joyal","year":"1993","unstructured":"Joyal, A., Street, R.: Braided tensor categories. Adv. Math. 102(1), 20\u201378 (1993)","journal-title":"Adv. Math."},{"issue":"3","key":"9880_CR17","first-page":"229","volume":"61","author":"M Karvonen","year":"2020","unstructured":"Karvonen, M.: Biproducts without pointedness. Cah. Topol. G\u00e9om. Diff\u00e9r. Cat\u00e9g. 61(3), 229\u2013238 (2020)","journal-title":"Cah. Topol. G\u00e9om. Diff\u00e9r. Cat\u00e9g."},{"key":"9880_CR18","unstructured":"Kudzman-Blais, R.: Linearly distributive fox theorem. Preprint at https:\/\/arxiv.org\/abs\/2506.02180 (2025)"},{"issue":"3","key":"9880_CR19","doi-asserted-by":"publisher","first-page":"593","DOI":"10.1016\/j.jpaa.2011.07.012","volume":"216","author":"S Lack","year":"2012","unstructured":"Lack, S.: Non-canonical isomorphisms. J. Pure Appl. Algebra 216(3), 593\u2013597 (2012)","journal-title":"J. Pure Appl. Algebra"},{"key":"9880_CR20","series-title":"Lecture Notes in Math","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/BFb0059555","volume-title":"Coherence in Categories","author":"ML Laplaza","year":"1972","unstructured":"Laplaza, M.L.: Coherence for Distributivity. In: Coherence in Categories. Lecture Notes in Math, vol. 281, pp. 29\u201365. Springer, Berlin (1972)"},{"key":"9880_CR21","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1090\/conm\/092\/1003210","volume-title":"Categories in Computer Science and Logic (Boulder, CO, 1987)","author":"RAG Seely","year":"1989","unstructured":"Seely, R.A.G.: Linear logic, $$*$$-autonomous categories and cofree coalgebras. In: Categories in Computer Science and Logic (Boulder, CO, 1987), vol. 92, pp. 371\u2013382. American Mathematical Society, Providence (1989)"},{"key":"9880_CR22","unstructured":"Spivak, D.I., Srinivasan, P.V.: What kind of linearly distributive category do polynomial functors form? Preprint at https:\/\/arxiv.org\/abs\/2407.01849 (2024)"},{"issue":"2","key":"9880_CR23","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1016\/0304-3975(91)90085-G","volume":"91","author":"A Tarlecki","year":"1991","unstructured":"Tarlecki, A., Burstall, R.M., Goguen, J.A.: Some fundamental algebraic tools for the semantics of computation. III. Indexed categories. Theor. Comput. Sci. 91(2), 239\u2013264 (1991)","journal-title":"Theor. Comput. Sci."}],"container-title":["Applied Categorical Structures"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-026-09880-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10485-026-09880-0","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-026-09880-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,26]],"date-time":"2026-07-26T07:37:07Z","timestamp":1785051427000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10485-026-09880-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,7,26]]},"references-count":23,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2026,10]]}},"alternative-id":["9880"],"URL":"https:\/\/doi.org\/10.1007\/s10485-026-09880-0","relation":{},"ISSN":["0927-2852","1572-9095"],"issn-type":[{"value":"0927-2852","type":"print"},{"value":"1572-9095","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,7,26]]},"assertion":[{"value":"29 August 2025","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"15 June 2026","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"26 July 2026","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"The authors declare no competing interests.","order":1,"name":"Ethics","label":"Conflict of interest","group":{"name":"EthicsHeading","label":"Declarations"}}],"article-number":"47"}}