{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:21:06Z","timestamp":1740122466674,"version":"3.37.3"},"reference-count":50,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2023,9,28]],"date-time":"2023-09-28T00:00:00Z","timestamp":1695859200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,9,28]],"date-time":"2023-09-28T00:00:00Z","timestamp":1695859200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"DOI":"10.13039\/501100002428","name":"Austrian Science Fund","doi-asserted-by":"publisher","award":["P 35992-N"],"award-info":[{"award-number":["P 35992-N"]}],"id":[{"id":"10.13039\/501100002428","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003407","name":"Ministero dell\u2019Istruzione, dell\u2019Universit\u00e0 e della Ricerca","doi-asserted-by":"publisher","award":["PRIN 2017FTXR7S \u201cIT-MaTTerS\u201d","PRIN 2017FTXR7S \u201cIT-MaTTerS\u201d","PRIN 2017FTXR7S \u201cIT-MaTTerS\u201d"],"award-info":[{"award-number":["PRIN 2017FTXR7S \u201cIT-MaTTerS\u201d","PRIN 2017FTXR7S \u201cIT-MaTTerS\u201d","PRIN 2017FTXR7S \u201cIT-MaTTerS\u201d"]}],"id":[{"id":"10.13039\/501100003407","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":[[2023,10]]},"DOI":"10.1007\/s10485-023-09750-z","type":"journal-article","created":{"date-parts":[[2023,9,28]],"date-time":"2023-09-28T08:02:14Z","timestamp":1695888134000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["From Gs-monoidal to Oplax Cartesian Categories: Constructions and Functorial Completeness"],"prefix":"10.1007","volume":"31","author":[{"given":"Tobias","family":"Fritz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabio","family":"Gadducci","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Davide","family":"Trotta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Corradini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,9,28]]},"reference":[{"key":"9750_CR1","doi-asserted-by":"crossref","first-page":"784","DOI":"10.1090\/crmm\/029","volume-title":"Monoidal Functors, Species and Hopf Algebras CRM Monograph Series","author":"M Aguiar","year":"2010","unstructured":"Aguiar, M., Mahajan, S.: Monoidal Functors, Species and Hopf Algebras CRM Monograph Series, p. 784. American Mathematical Society, Providence, RI (2010)"},{"key":"9750_CR2","first-page":"29","volume-title":"FSCD 2022. LIPIcs","author":"M Alvarez-Picallo","year":"2022","unstructured":"Alvarez-Picallo, M., Ghica, D., Sprunger, D., Zanasi, F.: Rewriting for monoidal closed categories. In: Felty, A. (ed.) FSCD 2022. LIPIcs, vol. 228, pp. 29\u201312920. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik, Wadern (2022)"},{"key":"9750_CR3","unstructured":"Bonchi, F., Pavlovic, D., Soboci\u0144ski, P.: Functorial semantics for relational theories. CoRR abs\/1711.08699 (2017)"},{"key":"9750_CR4","first-page":"13","volume-title":"CSL 2018. LIPIcs","author":"F Bonchi","year":"2018","unstructured":"Bonchi, F., Seeber, J., Soboci\u0144ski, P.: Graphical conjunctive queries. In: Ghica, D., Jung, A. (eds.) CSL 2018. LIPIcs, pp. 13\u201311323. Schloss Dagstuhl-Leibniz-Zentrum f\u00fcr Informatik, Wadern (2018)"},{"key":"9750_CR5","first-page":"29","volume-title":"Advancing Research in Information and Communication Technology. IFIP AICT","author":"F Bonchi","year":"2021","unstructured":"Bonchi, F., Soboci\u0144ski, P., Zanasi, F.: A survey of compositional signal flow theory. In: Goedicke, M., Neuhold, E.J., Rannenberg, K. (eds.) Advancing Research in Information and Communication Technology. IFIP AICT, vol. 600, pp. 29\u201356. Springer, Cham (2021)"},{"issue":"2","key":"9750_CR6","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1145\/3502719","volume":"69","author":"F Bonchi","year":"2022","unstructured":"Bonchi, F., Gadducci, F., Kissinger, A., Soboci\u0144ski, P., Zanasi, F.: String diagram rewrite theory I: rewriting with Frobenius structure. J. ACM 69(2), 14\u201311458 (2022)","journal-title":"J. ACM"},{"key":"9750_CR7","volume-title":"Encyclopedia of Mathematics and its Applications","author":"F Borceux","year":"1994","unstructured":"Borceux, F.: Handbook of categorical algebra 2: categories and structures. In: Encyclopedia of Mathematics and its Applications. Cambridge University Press, Cambridge (1994)"},{"key":"9750_CR8","first-page":"175","volume-title":"RelMiS 2001. ENTCS","author":"R Bruni","year":"2003","unstructured":"Bruni, R., Gadducci, F.: Some algebraic laws for spans (and their connections with multirelations). In: Kahl, W., Parnas, D.L., Schmidt, G. (eds.) RelMiS 2001. ENTCS, pp. 175\u2013193. Elsevier, Amsterdam (2003)"},{"issue":"2","key":"9750_CR9","first-page":"111","volume":"28","author":"A Carboni","year":"1987","unstructured":"Carboni, A.: Bicategories of partial maps. Cah. Topol. G\u00e9om\u00e9tr. Diff\u00e9r. Cat\u00e9g. 28(2), 111\u2013126 (1987)","journal-title":"Cah. Topol. G\u00e9om\u00e9tr. Diff\u00e9r. Cat\u00e9g."},{"issue":"1","key":"9750_CR10","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1016\/0022-4049(87)90121-6","volume":"49","author":"A Carboni","year":"1987","unstructured":"Carboni, A., Walters, R.F.C.: Cartesian bicategories I. J. Pure Appl. Algebra 49(1), 11\u201332 (1987)","journal-title":"J. Pure Appl. Algebra"},{"issue":"6","key":"9750_CR11","first-page":"93","volume":"19","author":"A Carboni","year":"2008","unstructured":"Carboni, A., Kelly, G.M., Walters, R.F.C., Wood, R.J.: Cartesian bicategories II. Theory Appl. Categ. 19(6), 93\u2013124 (2008)","journal-title":"Theory Appl. Categ."},{"issue":"7","key":"9750_CR12","doi-asserted-by":"crossref","first-page":"938","DOI":"10.1017\/S0960129518000488","volume":"29","author":"K Cho","year":"2019","unstructured":"Cho, K., Jacobs, B.: Disintegration and Bayesian inversion via string diagrams. Math. Struct. Comput. Sci. 29(7), 938\u2013971 (2019)","journal-title":"Math. Struct. Comput. Sci."},{"issue":"1","key":"9750_CR13","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1016\/S0304-3975(00)00382-0","volume":"270","author":"JRB Cockett","year":"2002","unstructured":"Cockett, J.R.B., Lack, S.: Restriction categories I: categories of partial maps. Theor. Comput. Sci. 270(1), 223\u2013259 (2002)","journal-title":"Theor. Comput. Sci."},{"issue":"1","key":"9750_CR14","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1016\/S0304-3975(01)00245-6","volume":"294","author":"JRB Cockett","year":"2003","unstructured":"Cockett, J.R.B., Lack, S.: Restriction categories II: partial map classification. Theor. Comput. Sci. 294(1), 61\u2013102 (2003)","journal-title":"Theor. Comput. Sci."},{"issue":"4","key":"9750_CR15","doi-asserted-by":"crossref","first-page":"775","DOI":"10.1017\/S0960129507006056","volume":"17","author":"JRB Cockett","year":"2007","unstructured":"Cockett, J.R.B., Lack, S.: Restriction categories III: colimits, partial limits and extensivity. Math. Struct. Comput. Sci. 17(4), 775\u2013817 (2007)","journal-title":"Math. Struct. Comput. Sci."},{"key":"9750_CR16","first-page":"87","volume-title":"CTCS 1997. LNCS","author":"A Corradini","year":"1997","unstructured":"Corradini, A., Gadducci, F.: A 2-categorical presentation of term graph rewriting. In: Moggi, E., Rosolini, G. (eds.) CTCS 1997. LNCS, pp. 87\u2013105. Springer, Berlin (1997)"},{"key":"9750_CR17","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1023\/A:1008647417502","volume":"7","author":"A Corradini","year":"1999","unstructured":"Corradini, A., Gadducci, F.: An algebraic presentation of term graphs, via gs-monoidal categories. Appl. Categ. Struct. 7, 299\u2013331 (1999)","journal-title":"Appl. Categ. Struct."},{"issue":"4\u20135","key":"9750_CR18","doi-asserted-by":"crossref","first-page":"467","DOI":"10.1051\/ita:1999128","volume":"33","author":"A Corradini","year":"1999","unstructured":"Corradini, A., Gadducci, F.: Rewriting on cyclic structures: equivalence between the operational and the categorical description. RAIRO Theor. Inform. Appl. Inform. Th\u00e9or. Appl. 33(4\u20135), 467\u2013493 (1999)","journal-title":"RAIRO Theor. Inform. Appl. Inform. Th\u00e9or. Appl."},{"key":"9750_CR19","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1016\/S0304-3975(01)00319-X","volume":"286","author":"A Corradini","year":"2002","unstructured":"Corradini, A., Gadducci, F.: A functorial semantics for multi-algebras and partial algebras, with applications to syntax. Theor. Comput. Sci. 286, 293\u2013322 (2002)","journal-title":"Theor. Comput. Sci."},{"key":"9750_CR20","first-page":"31","volume-title":"TERMGRAPH 2002. ENTCS","author":"A Corradini","year":"2007","unstructured":"Corradini, A., Gadducci, F., Kahl, W., K\u00f6nig, B.: In equational deduction as term graph rewriting. In: Mackie, I., Plump, D. (eds.) TERMGRAPH 2002. ENTCS, vol. 72, pp. 31\u201344. Elsevier, Amsterdam (2007)"},{"key":"9750_CR21","first-page":"1","volume-title":"Reports of the Midwest Category Seminar, IV. Lecture Notes in Mathematics","author":"B Day","year":"1970","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, Berlin (1970)"},{"key":"9750_CR22","volume-title":"Construction of Biclosed Categories","author":"BJ Day","year":"1970","unstructured":"Day, B.J.: Construction of Biclosed Categories. University of New South Wales, Sydney (1970)"},{"key":"9750_CR23","unstructured":"Fong, B., Spivak, D.: Regular and relational categories: revisiting \u2018cartesian bicategories I\u2019. CoRR abs\/1909.00069 (2019)"},{"key":"9750_CR24","unstructured":"Fong, B., Spivak, D.: Supplying bells and whistles in symmetric monoidal categories. CoRR abs\/1908.02633 (2019)"},{"key":"9750_CR25","doi-asserted-by":"crossref","first-page":"665","DOI":"10.1080\/00927877608822127","volume":"4","author":"T Fox","year":"1976","unstructured":"Fox, T.: Coalgebras and cartesian categories. Commun. Algebra 4, 665\u2013667 (1976)","journal-title":"Commun. Algebra"},{"key":"9750_CR26","doi-asserted-by":"crossref","DOI":"10.1016\/j.aim.2020.107239","volume":"370","author":"T Fritz","year":"2020","unstructured":"Fritz, T.: A synthetic approach to Markov kernels, conditional independence and theorems on sufficient statistics. Adv. Math. 370, 107239 (2020)","journal-title":"Adv. Math."},{"issue":"8","key":"9750_CR27","doi-asserted-by":"crossref","first-page":"850","DOI":"10.1017\/S0960129521000414","volume":"31","author":"T Fritz","year":"2021","unstructured":"Fritz, T., Perrone, P., Rezagholi, S.: Probability, valuations, hyperspace: three monads on top and the support as a morphism. Math. Struct. Comput. Sci. 31(8), 850\u2013897 (2021)","journal-title":"Math. Struct. Comput. Sci."},{"key":"9750_CR28","doi-asserted-by":"crossref","DOI":"10.1016\/j.tcs.2023.113896","volume":"961","author":"T Fritz","year":"2023","unstructured":"Fritz, T., Gonda, T., Perrone, P., Rischel, E.F.: Representable Markov categories and comparison of statistical experiments in categorical probability. Theor. Comput. Sci. 961, 113896 (2023)","journal-title":"Theor. Comput. Sci."},{"key":"9750_CR29","volume-title":"On the Algebraic Approach to Concurrent Term Rewriting","author":"F Gadducci","year":"1996","unstructured":"Gadducci, F.: On the Algebraic Approach to Concurrent Term Rewriting. University of Pisa, Pisa (1996)"},{"key":"9750_CR30","first-page":"152","volume-title":"WADT 2008. LNCS","author":"F Gadducci","year":"2008","unstructured":"Gadducci, F.: A term-graph syntax for algebras over multisets. In: Corradini, A., Montanari, U. (eds.) WADT 2008. LNCS, vol. 5486, pp. 152\u2013165. Springer, Berlin, Heidelberg (2008)"},{"key":"9750_CR31","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1007\/BFb0092872","volume-title":"Categorical Aspects of Topology and Analysis Lecture Notes in Mathematics","author":"M Giry","year":"1982","unstructured":"Giry, M.: A categorical approach to probability theory. In: Banaschewski, B. (ed.) Categorical Aspects of Topology and Analysis Lecture Notes in Mathematics, vol. 915, pp. 68\u201385. Springer, Berlin-New York (1982)"},{"issue":"3","key":"9750_CR32","first-page":"259","volume":"35","author":"PV Golubtsov","year":"1999","unstructured":"Golubtsov, P.V.: Axiomatic description of categories of information transformers. Probl. Inf. Transm. 35(3), 259\u2013274 (1999)","journal-title":"Probl. Inf. Transm."},{"issue":"1","key":"9750_CR33","first-page":"5","volume":"21","author":"R Guitart","year":"1980","unstructured":"Guitart, R.: Tenseurs et machines. Cah. Topol. G\u00e9om\u00e9tr. Diff\u00e9r. 21(1), 5\u201362 (1980)","journal-title":"Cah. Topol. G\u00e9om\u00e9tr. Diff\u00e9r."},{"key":"9750_CR34","first-page":"12","volume-title":"LICS 2017","author":"C Heunen","year":"2017","unstructured":"Heunen, C., Kammar, O., Staton, S., Yang, H.: A convenient category for higher-order probability theory. In: LICS 2017, p. 12. IEEE Press, Piscataway, NJ (2017)"},{"issue":"1","key":"9750_CR35","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/0168-0072(94)90020-5","volume":"69","author":"B Jacobs","year":"1994","unstructured":"Jacobs, B.: Semantics of weakening and contraction. Ann. Pure Appl. Log. 69(1), 73\u2013106 (1994)","journal-title":"Ann. Pure Appl. Log."},{"key":"9750_CR36","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1016\/j.jlamp.2016.11.006","volume":"94","author":"B Jacobs","year":"2018","unstructured":"Jacobs, B.: From probability monads to commutative effectuses. J. Log. Algebr. Methods Program. 94, 200\u2013237 (2018)","journal-title":"J. Log. Algebr. Methods Program."},{"key":"9750_CR37","first-page":"1","volume":"10","author":"GM Kelly","year":"2005","unstructured":"Kelly, G.M.: Basic concepts of enriched category theory. Repr. Theory Appl. Categ. 10, 1\u2013136 (2005)","journal-title":"Repr. Theory Appl. Categ."},{"key":"9750_CR38","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF01220868","volume":"21","author":"A Kock","year":"1970","unstructured":"Kock, A.: Monads on symmetric monoidal closed categories. Arch. Math. 21, 1\u201310 (1970)","journal-title":"Arch. Math."},{"issue":"2","key":"9750_CR39","doi-asserted-by":"crossref","first-page":"161","DOI":"10.7146\/math.scand.a-11042","volume":"29","author":"A Kock","year":"1971","unstructured":"Kock, A.: Bilinearity and cartesian closed monads. Math. Scand. 29(2), 161\u2013174 (1971)","journal-title":"Math. Scand."},{"key":"9750_CR40","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1007\/BF01304852","volume":"23","author":"A Kock","year":"1972","unstructured":"Kock, A.: Strong functors and monoidal monads. Arch. Math. 23, 113\u2013120 (1972)","journal-title":"Arch. Math."},{"key":"9750_CR41","volume-title":"Introduction to Higher Order Categorical Logic","author":"J Lambek","year":"1986","unstructured":"Lambek, J., Scott, P.J.: Introduction to Higher Order Categorical Logic. Cambridge University Press, Cambridge (1986)"},{"issue":"5","key":"9750_CR42","doi-asserted-by":"crossref","first-page":"869","DOI":"10.1073\/pnas.50.5.869","volume":"50","author":"FW Lawvere","year":"1963","unstructured":"Lawvere, F.W.: Functorial semantics of algebraic theories. Proc. Natl. Acad. Sci. 50(5), 869\u2013872 (1963)","journal-title":"Proc. Natl. Acad. Sci."},{"key":"9750_CR43","volume-title":"Sheaves in Geometry and Logic. A First Introduction to Topos Theory","author":"S MacLane","year":"1992","unstructured":"MacLane, S., Moerdijk, I.: Sheaves in Geometry and Logic. A First Introduction to Topos Theory. Springer, New York (1992)"},{"key":"9750_CR44","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0066201","volume-title":"First Order Categorical Logic. Lecture Notes in Mathematics","author":"M Makkai","year":"1977","unstructured":"Makkai, M., Reyes, G.: First Order Categorical Logic. Lecture Notes in Mathematics, vol. 611. Springer, Berlin-New York (1977)"},{"issue":"2","key":"9750_CR45","doi-asserted-by":"crossref","first-page":"441","DOI":"10.1112\/S0024611501012692","volume":"82","author":"MA Mandell","year":"2001","unstructured":"Mandell, M.A., May, J.P., Schwede, S., Shipley, B.: Model categories of diagram spectra. Proc. Lond. Math. Soc. 82(2), 441\u2013512 (2001)","journal-title":"Proc. Lond. Math. Soc."},{"key":"9750_CR46","first-page":"14","volume-title":"LICS 1989","author":"E Moggi","year":"1989","unstructured":"Moggi, E.: Computational lambda-calculus and monads. In: LICS 1989, pp. 14\u201323. IEEE Press, Piscataway, NJ, USA (1989)"},{"issue":"1","key":"9750_CR47","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1016\/0890-5401(91)90052-4","volume":"93","author":"E Moggi","year":"1991","unstructured":"Moggi, E.: Notions of computation and monads. Inf. Comput. 93(1), 55\u201392 (1991)","journal-title":"Inf. Comput."},{"issue":"2","key":"9750_CR48","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1016\/0890-5401(88)90034-X","volume":"79","author":"E Robinson","year":"1988","unstructured":"Robinson, E., Rosolini, G.: Categories of partial maps. Inf. Comput. 79(2), 95\u2013130 (1988)","journal-title":"Inf. Comput."},{"key":"9750_CR49","first-page":"289","volume-title":"New Structures for Physics. Lecture Notes in Physics","author":"P Selinger","year":"2011","unstructured":"Selinger, P.: A survey of graphical languages for monoidal categories. In: Coecke, B. (ed.) New Structures for Physics. Lecture Notes in Physics, pp. 289\u2013355. Springer, Heidelberg (2011)"},{"key":"9750_CR50","volume-title":"Pseudo-distributive laws and a unified framework for variable binding","author":"M Tanaka","year":"2004","unstructured":"Tanaka, M.: Pseudo-distributive laws and a unified framework for variable binding. The University of Edinburgh, Edinburgh (2004)"}],"container-title":["Applied Categorical Structures"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-023-09750-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10485-023-09750-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-023-09750-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,20]],"date-time":"2023-10-20T10:16:07Z","timestamp":1697796967000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10485-023-09750-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,9,28]]},"references-count":50,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2023,10]]}},"alternative-id":["9750"],"URL":"https:\/\/doi.org\/10.1007\/s10485-023-09750-z","relation":{},"ISSN":["0927-2852","1572-9095"],"issn-type":[{"type":"print","value":"0927-2852"},{"type":"electronic","value":"1572-9095"}],"subject":[],"published":{"date-parts":[[2023,9,28]]},"assertion":[{"value":"23 May 2023","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"1 September 2023","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"28 September 2023","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 authors declare that they have no conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}],"article-number":"42"}}