{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,19]],"date-time":"2025-02-19T05:18:55Z","timestamp":1739942335620,"version":"3.37.3"},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2025,1,3]],"date-time":"2025-01-03T00:00:00Z","timestamp":1735862400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,1,3]],"date-time":"2025-01-03T00:00:00Z","timestamp":1735862400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"name":"Postdoc@MUNI","award":["CZ.02.2.69\/0.0\/0.0\/18_053\/0016952"],"award-info":[{"award-number":["CZ.02.2.69\/0.0\/0.0\/18_053\/0016952"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Appl Categor Struct"],"published-print":{"date-parts":[[2025,2]]},"DOI":"10.1007\/s10485-024-09798-5","type":"journal-article","created":{"date-parts":[[2025,1,3]],"date-time":"2025-01-03T08:59:42Z","timestamp":1735894782000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Presentations of Pseudodistributive Laws"],"prefix":"10.1007","volume":"33","author":[{"given":"Charles","family":"Walker","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,1,3]]},"reference":[{"key":"9798_CR1","doi-asserted-by":"crossref","unstructured":"Beck, J.: Distributive laws, in Sem. on Triples and Categorical Homology Theory (ETH, Z\u00fcrich, 1966\/67), Springer, Berlin, 1969, pp.\u00a0119\u2013140","DOI":"10.1007\/BFb0083084"},{"key":"9798_CR2","doi-asserted-by":"publisher","first-page":"553","DOI":"10.1017\/S0960129505004718","volume":"15","author":"GL Cattani","year":"2005","unstructured":"Cattani, G.L., Winskel, G.: Profunctors, open maps and bisimulation. Math. Structures Comput. Sci. 15, 553\u2013614 (2005)","journal-title":"Math. Structures Comput. Sci."},{"key":"9798_CR3","doi-asserted-by":"crossref","unstructured":"Cheng, E., Hyland, M., Power, J.: Pseudo-distributive laws, Electronic Notes in Theoretical Computer Science, 83 (2003)","DOI":"10.1016\/S1571-0661(03)50012-3"},{"key":"9798_CR4","unstructured":"Chikhladze, D.: A note on warpings of monoidal structures, arXiv eprint, (2015). Available at https:\/\/arxiv.org\/abs\/1510.00483"},{"key":"9798_CR5","doi-asserted-by":"publisher","first-page":"2791","DOI":"10.1007\/s00029-017-0361-3","volume":"24","author":"M Fiore","year":"2018","unstructured":"Fiore, M., Gambino, N., Hyland, M., Winskel, G.: Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures. Selecta Math. 24, 2791\u20132830 (2018)","journal-title":"Selecta Math."},{"issue":"2","key":"9798_CR6","first-page":"14","volume":"37","author":"N Gambino","year":"2021","unstructured":"Gambino, N., Lobbia, G.: On the formal theory of pseudomonads and pseudodistributive laws. Theory Appl. Categ. 37(2), 14\u201356 (2021)","journal-title":"Theory Appl. Categ."},{"key":"9798_CR7","unstructured":"Hern\u00e1ndez, E.R.: Another characterization of no-iteration distributive laws, arXiv eprint, (2020). Available at https:\/\/arxiv.org\/abs\/1910.06531, Version 2"},{"key":"9798_CR8","first-page":"474","volume-title":"Combining Computational Effects: Commutativity and Sum","author":"M Hyland","year":"2002","unstructured":"Hyland, M., Plotkin, G., Power, J.: Combining Computational Effects: Commutativity and Sum, pp. 474\u2013484. Springer, Boston (2002)"},{"key":"9798_CR9","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1016\/0021-8693(64)90018-3","volume":"1","author":"GM Kelly","year":"1964","unstructured":"Kelly, G.M.: On MacLane\u2019s conditions for coherence of natural associativities, commutativities, etc. J. Algebra 1, 397\u2013402 (1964)","journal-title":"J. Algebra"},{"key":"9798_CR10","doi-asserted-by":"crossref","unstructured":"Kelly, G.M.: Coherence theorems for lax algebras and for distributive laws, in Category Seminar (Proc. Sem., Sydney, 1972\/1973), 1974, pp.\u00a0281\u2013375. Lecture Notes in Math., Vol. 420","DOI":"10.1007\/BFb0063106"},{"key":"9798_CR11","doi-asserted-by":"crossref","unstructured":"Kelly, G.M.: On clubs and doctrines, in Category Seminar (Proc. Sem., Sydney, 1972\/1973), Springer, Berlin, 1974, pp.\u00a0181\u2013256. Lecture Notes in Math., Vol. 420","DOI":"10.1007\/BFb0063104"},{"key":"9798_CR12","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/0022-4049(94)00111-U","volume":"104","author":"A Kock","year":"1995","unstructured":"Kock, A.: Monads for which structures are adjoint to units. J. Pure Appl. Algebra 104, 41\u201359 (1995)","journal-title":"J. Pure Appl. Algebra"},{"key":"9798_CR13","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1016\/S0022-4049(02)00137-8","volume":"175","author":"S Lack","year":"2002","unstructured":"Lack, S., Street, R.: The formal theory of monads. II. J. Pure Appl. Algebra 175, 243\u2013265 (2002)","journal-title":"J. Pure Appl. Algebra"},{"key":"9798_CR14","first-page":"244","volume":"55","author":"S Lack","year":"2014","unstructured":"Lack, S., Street, R.: On monads and warpings. Cah. Topol. G\u00e9om. Diff\u00e9r. Cat\u00e9g. 55, 244\u2013266 (2014)","journal-title":"Cah. Topol. G\u00e9om. Diff\u00e9r. Cat\u00e9g."},{"key":"9798_CR15","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1007\/s10485-023-09716-1","volume":"31","author":"G Lobbia","year":"2023","unstructured":"Lobbia, G.: Distributive laws for relative monads. Appl. Categ. Struct. 31, 38 (2023)","journal-title":"Appl. Categ. Struct."},{"key":"9798_CR16","first-page":"28","volume":"49","author":"S MacLane","year":"1963","unstructured":"MacLane, S.: Natural associativity and commutativity. Rice Univ. Stud. 49, 28\u201346 (1963)","journal-title":"Rice Univ. Stud."},{"key":"9798_CR17","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/0022-4049(85)90087-8","volume":"37","author":"S MacLane","year":"1985","unstructured":"MacLane, S., Par\u00e9, R.: Coherence for bicategories and indexed categories. J. Pure Appl. Algebra 37, 59\u201380 (1985)","journal-title":"J. Pure Appl. Algebra"},{"key":"9798_CR18","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-9860-1","volume-title":"Algebraic Theories","author":"EG Manes","year":"1976","unstructured":"Manes, E.G.: Algebraic Theories. Springer-Verlag, New York-Heidelberg (1976)"},{"issue":"2","key":"9798_CR19","first-page":"24","volume":"3","author":"F Marmolejo","year":"1997","unstructured":"Marmolejo, F.: Doctrines whose structure forms a fully faithful adjoint string. Theory Appl. Categ. 3(2), 24\u201344 (1997)","journal-title":"Theory Appl. Categ."},{"issue":"5","key":"9798_CR20","first-page":"91","volume":"5","author":"F Marmolejo","year":"1999","unstructured":"Marmolejo, F.: Distributive laws for pseudomonads. Theory Appl. Categ. 5(5), 91\u2013147 (1999)","journal-title":"Theory Appl. Categ."},{"key":"9798_CR21","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1016\/S0022-4049(01)00097-4","volume":"168","author":"F Marmolejo","year":"2002","unstructured":"Marmolejo, F., Rosebrugh, R.D., Wood, R.J.: A basic distributive law. J. Pure Appl. Algebra 168, 209\u2013226 (2002)","journal-title":"J. Pure Appl. Algebra"},{"issue":"5","key":"9798_CR22","first-page":"74","volume":"20","author":"F Marmolejo","year":"2008","unstructured":"Marmolejo, F., Wood, R.J.: Coherence for pseudodistributive laws revisited. Theory Appl. Categ. 20(5), 74\u201384 (2008)","journal-title":"Theory Appl. Categ."},{"issue":"4","key":"9798_CR23","first-page":"84","volume":"24","author":"F Marmolejo","year":"2010","unstructured":"Marmolejo, F.: Monads as extension systems - no iteration is necessary. Theory Appl. Categ. 24(4), 84\u2013113 (2010)","journal-title":"Theory Appl. Categ."},{"issue":"28","key":"9798_CR24","first-page":"371","volume":"14","author":"F Marmolejo","year":"2013","unstructured":"Marmolejo, F.: No-iteration pseudomonads. Theory Appl. Categ. 14(28), 371\u2013402 (2013)","journal-title":"Theory Appl. Categ."},{"key":"9798_CR25","unstructured":"Tanaka, M.: Pseudo-Distributive Laws and a Unified Framework for Variable Binding, PhD thesis, University of Edinburgh (2004)"},{"key":"9798_CR26","doi-asserted-by":"crossref","unstructured":"Tanaka, M., Power, J.: Pseudo-distributive laws and axiomatics for variable binding, Higher-Order and Symbolic Computation, 19 (2006)","DOI":"10.1007\/s10990-006-8750-x"},{"key":"9798_CR27","doi-asserted-by":"publisher","first-page":"567","DOI":"10.1007\/s10485-019-09567-9","volume":"27","author":"C Walker","year":"2019","unstructured":"Walker, C.: Distributive laws via admissibility. Appl. Categ. Struct. 27, 567\u2013617 (2019)","journal-title":"Appl. Categ. Struct."},{"key":"9798_CR28","unstructured":"Walters, R.F.C.: A categorical approach to universal algebra, PhD thesis, Australian National University (1970)"},{"key":"9798_CR29","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1007\/BF01214522","volume":"148","author":"V Z\u00f6berlein","year":"1976","unstructured":"Z\u00f6berlein, V.: Doctrines on $$2$$-categories. Math. Z. 148, 267\u2013279 (1976)","journal-title":"Math. Z."}],"container-title":["Applied Categorical Structures"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-024-09798-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10485-024-09798-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-024-09798-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,18]],"date-time":"2025-02-18T16:34:42Z","timestamp":1739896482000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10485-024-09798-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,1,3]]},"references-count":29,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2025,2]]}},"alternative-id":["9798"],"URL":"https:\/\/doi.org\/10.1007\/s10485-024-09798-5","relation":{},"ISSN":["0927-2852","1572-9095"],"issn-type":[{"type":"print","value":"0927-2852"},{"type":"electronic","value":"1572-9095"}],"subject":[],"published":{"date-parts":[[2025,1,3]]},"assertion":[{"value":"12 September 2023","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"17 December 2024","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"3 January 2025","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The author declares he has no Conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}],"article-number":"6"}}