乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,12]],"date-time":"2024-08-12T18:36:44Z","timestamp":1723487804915},"reference-count":68,"publisher":"Association for Computing Machinery (ACM)","issue":"POPL","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["Proc. ACM Program. Lang."],"published-print":{"date-parts":[[2023,1,9]]},"abstract":"Rig categories with finite biproducts are categories with two monoidal products, where one is a biproduct and the other distributes over it. In this work we present tape diagrams, a sound and complete diagrammatic language for these categories, that can be intuitively thought as string diagrams of string diagrams. We test the effectiveness of our approach against the positive fragment of Tarski's calculus of relations.<\/jats:p>","DOI":"10.1145\/3571257","type":"journal-article","created":{"date-parts":[[2023,1,11]],"date-time":"2023-01-11T21:58:14Z","timestamp":1673474294000},"page":"1864-1894","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Deconstructing the Calculus of Relations with Tape Diagrams"],"prefix":"10.1145","volume":"7","author":[{"ORCID":"http:\/\/orcid.org\/0000-0002-3433-723X","authenticated-orcid":false,"given":"Filippo","family":"Bonchi","sequence":"first","affiliation":[{"name":"University of Pisa, Italy"}]},{"ORCID":"http:\/\/orcid.org\/0000-0002-6428-6461","authenticated-orcid":false,"given":"Alessandro","family":"Di Giorgio","sequence":"additional","affiliation":[{"name":"University of Pisa, Italy"}]},{"ORCID":"http:\/\/orcid.org\/0000-0001-7683-5221","authenticated-orcid":false,"given":"Alessio","family":"Santamaria","sequence":"additional","affiliation":[{"name":"University of Pisa, Italy \/ University of Sussex, UK"}]}],"member":"320","published-online":{"date-parts":[[2023,1,11]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-018-9466-4"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01225472"},{"key":"e_1_2_1_3_1","volume-title":"Completeness and the ZX-calculus. Ph. D. Dissertation","author":"Backens M","year":"2023","unstructured":"M Backens . 2015. Completeness and the ZX-calculus. Ph. D. Dissertation . University of Oxford. https :\/\/ora.ox.ac.uk\/objects\/uuid:01 2023 9e-b504-4376-973d-d720a095f02e M Backens. 2015. Completeness and the ZX-calculus. Ph. D. Dissertation. University of Oxford. https:\/\/ora.ox.ac.uk\/objects\/uuid:0120239e-b504-4376-973d-d720a095f02e"},{"key":"e_1_2_1_4_1","first-page":"836","article-title":"Categories In Control","volume":"30","author":"Baez John","year":"2015","unstructured":"John Baez and Jason Erbele . 2015 . Categories In Control . Theory and Applications of Categories , 30 (2015), 836 \u2013 881 . http:\/\/www.tac.mta.ca\/tac\/volumes\/30\/24\/30-24abs.html John Baez and Jason Erbele. 2015. Categories In Control. Theory and Applications of Categories, 30 (2015), 836\u2013881. http:\/\/www.tac.mta.ca\/tac\/volumes\/30\/24\/30-24abs.html","journal-title":"Theory and Applications of Categories"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(76)90390-9"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00236-018-0314-0"},{"key":"#cr-split#-e_1_2_1_7_1.1","unstructured":"Bruce Bartlett Christopher L. Douglas Christopher J. Schommer-Pries and Jamie Vicary. 2015. Modular Categories as Representations of the 3-Dimensional Bordism 2-Category. https:\/\/doi.org\/10.48550\/arXiv.1509.06811 arxiv:1509.06811. 10.48550\/arXiv.1509.06811"},{"key":"#cr-split#-e_1_2_1_7_1.2","unstructured":"Bruce Bartlett Christopher L. Douglas Christopher J. Schommer-Pries and Jamie Vicary. 2015. Modular Categories as Representations of the 3-Dimensional Bordism 2-Category. https:\/\/doi.org\/10.48550\/arXiv.1509.06811 arxiv:1509.06811."},{"key":"e_1_2_1_8_1","volume-title":"Classics in Software Engineering","author":"B\u00f6hm Corrado","unstructured":"Corrado B\u00f6hm and Giuseppe Jacopini . 1979. Flow Diagrams, Turing Machines and Languages with Only Two Formation Rules . In Classics in Software Engineering . Yourdon Press , USA. 11\u201325. isbn:978-0-917072-14-7 https:\/\/dl.acm.org\/doi\/abs\/10.5555\/1241515.1241517 Corrado B\u00f6hm and Giuseppe Jacopini. 1979. Flow Diagrams, Turing Machines and Languages with Only Two Formation Rules. In Classics in Software Engineering. Yourdon Press, USA. 11\u201325. isbn:978-0-917072-14-7 https:\/\/dl.acm.org\/doi\/abs\/10.5555\/1241515.1241517"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-99253-8_6"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.CONCUR.2020.49"},{"key":"e_1_2_1_11_1","volume-title":"Alessandro Di Giorgio, and Alessio Santamaria","author":"Bonchi Filippo","year":"2022","unstructured":"Filippo Bonchi , Alessandro Di Giorgio, and Alessio Santamaria . 2022 . Deconstructing the Calculus of Relations with Tape Diagrams . https:\/\/doi.org\/10.48550\/arXiv.2210.09950 arxiv:2210.09950. 10.48550\/arXiv.2210.09950 Filippo Bonchi, Alessandro Di Giorgio, and Alessio Santamaria. 2022. Deconstructing the Calculus of Relations with Tape Diagrams. https:\/\/doi.org\/10.48550\/arXiv.2210.09950 arxiv:2210.09950."},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3502719"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3290338"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2019.8785877"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.CSL.2018.13"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2676726.2676993"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2015.17"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2006.07.005"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-4049(87)90121-6"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/800105.803397"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70583-3_25"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1088\/1367-2630\/13\/4\/043016"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1017\/9781316219317"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.266.7"},{"key":"#cr-split#-e_1_2_1_25_1.1","unstructured":"Cole Comfort Antonin Delpeuch and Jules Hedges. 2020. Sheet Diagrams for Bimonoidal Categories. https:\/\/doi.org\/10.48550\/arXiv.2010.13361 arxiv:2010.13361. 10.48550\/arXiv.2010.13361"},{"key":"#cr-split#-e_1_2_1_25_1.2","unstructured":"Cole Comfort Antonin Delpeuch and Jules Hedges. 2020. Sheet Diagrams for Bimonoidal Categories. https:\/\/doi.org\/10.48550\/arXiv.2010.13361 arxiv:2010.13361."},{"key":"e_1_2_1_26_1","volume-title":"Semantics of Quantum Computation","author":"Duncan Ross","unstructured":"Ross Duncan . 2009. Generalised Proof-Nets for Compact Categories with Biproducts . In Semantics of Quantum Computation , Simon Gay and Ian Mackie (Eds.). Cambridge University Press . Ross Duncan. 2009. Generalised Proof-Nets for Compact Categories with Biproducts. In Semantics of Quantum Computation, Simon Gay and Ian Mackie (Eds.). Cambridge University Press."},{"key":"e_1_2_1_27_1","volume-title":"(Biblioteca di \u00ab Nuncius\u00bb","author":"Fibonacci Leonardo Bigolli","unstructured":"Leonardo Bigolli Pisani vulgo Fibonacci . 2020. Liber Abbaci \/ edidit Enrico Giusti coadiuvante Paolo D\u2019Alessandro ( Olschki ed.) (Biblioteca di \u00ab Nuncius\u00bb , Vol. 79). Firenze, Italy. isbn:978-88-222-6658- 3 Leonardo Bigolli Pisani vulgo Fibonacci. 2020. Liber Abbaci \/ edidit Enrico Giusti coadiuvante Paolo D\u2019Alessandro (Olschki ed.) (Biblioteca di \u00ab Nuncius\u00bb, Vol. 79). Firenze, Italy. isbn:978-88-222-6658-3"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2933575.2934556"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.4204\/eptcs.323.14"},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1080\/00927877608822127"},{"key":"e_1_2_1_31_1","volume-title":"Allegories (North-Holland Mathematical Library","volume":"2","author":"Freyd Peter","year":"1990","unstructured":"Peter Freyd and Andre Scedrov . 1990 . Categories , Allegories (North-Holland Mathematical Library , Vol. 39). Elsevier B.V. isbn:978-0-444-70368- 2 Peter Freyd and Andre Scedrov. 1990. Categories, Allegories (North-Holland Mathematical Library, Vol. 39). Elsevier B.V. isbn:978-0-444-70368-2"},{"key":"#cr-split#-e_1_2_1_32_1.1","unstructured":"Tobias Fritz. 2009. A Presentation of the Category of Stochastic Matrices. https:\/\/doi.org\/10.48550\/arXiv.0902.2554 arxiv:0902.2554. 10.48550\/arXiv.0902.2554"},{"key":"#cr-split#-e_1_2_1_32_1.2","unstructured":"Tobias Fritz. 2009. A Presentation of the Category of Stochastic Matrices. https:\/\/doi.org\/10.48550\/arXiv.0902.2554 arxiv:0902.2554."},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2016.7886659"},{"key":"e_1_2_1_34_1","unstructured":"John Harding. 2008. Orthomodularity in dagger biproduct categories. Preprint https:\/\/www.researchgate.net\/publication\/228354796_Orthomodularity_in_dagger_biproduct_categories \t\t\t\t John Harding. 2008. Orthomodularity in dagger biproduct categories. Preprint https:\/\/www.researchgate.net\/publication\/228354796_Orthomodularity_in_dagger_biproduct_categories"},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78127-1_20"},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/363235.363259"},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2011.04.005"},{"key":"e_1_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1007\/s000120050150"},{"key":"e_1_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103621.2103667"},{"key":"e_1_2_1_40_1","unstructured":"Niles Johnson and Donald Yau. 2022. Bimonoidal Categories E_n -Monoidal Categories and Algebraic K -Theory. https:\/\/nilesjohnson.net\/En-monoidal.html \t\t\t\t Niles Johnson and Donald Yau. 2022. Bimonoidal Categories E_n -Monoidal Categories and Algebraic K -Theory. https:\/\/nilesjohnson.net\/En-monoidal.html"},{"key":"e_1_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1016\/0001-8708(91)90003-P"},{"key":"e_1_2_1_42_1","volume-title":"Drawing Theories Apart: The Dispersion of Feynman Diagrams in Postwar Physics","author":"Kaiser David","unstructured":"David Kaiser . 2009. Drawing Theories Apart: The Dispersion of Feynman Diagrams in Postwar Physics . University of Chicago Press. isbn :978-0-226-42265-7 https:\/\/doi.org\/10.7208\/9780226422657 10.7208\/9780226422657 David Kaiser. 2009. Drawing Theories Apart: The Dispersion of Feynman Diagrams in Postwar Physics. University of Chicago Press. isbn:978-0-226-42265-7 https:\/\/doi.org\/10.7208\/9780226422657"},{"key":"e_1_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-89884-1_30"},{"key":"e_1_2_1_44_1","first-page":"147","article-title":"Composing PROPs","volume":"13","author":"Lack Stephen","year":"2004","unstructured":"Stephen Lack . 2004 . Composing PROPs . Theory and Application of Categories , 13 , 9 (2004), 147 \u2013 163 . http:\/\/www.tac.mta.ca\/tac\/volumes\/13\/9\/13-09abs.html Stephen Lack. 2004. Composing PROPs. Theory and Application of Categories, 13, 9 (2004), 147\u2013163. http:\/\/www.tac.mta.ca\/tac\/volumes\/13\/9\/13-09abs.html","journal-title":"Theory and Application of Categories"},{"key":"e_1_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-4049(03)00069-0"},{"key":"e_1_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0059555"},{"key":"e_1_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9904-1965-11234-4"},{"key":"e_1_2_1_48_1","volume-title":"Categories for the Working Mathematician","author":"Lane S. Mac","unstructured":"S. Mac Lane . 1978. Categories for the Working Mathematician ( second ed.) (Graduate Texts in Mathematics , Vol. 5). Springer-Verlag, New York. isbn:978-0-387-98403- 2 https:\/\/www.springer.com\/gb\/book\/9780387984032 S. Mac Lane. 1978. Categories for the Working Mathematician (second ed.) (Graduate Texts in Mathematics, Vol. 5). Springer-Verlag, New York. isbn:978-0-387-98403-2 https:\/\/www.springer.com\/gb\/book\/9780387984032"},{"key":"e_1_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1007\/11874683_1"},{"key":"e_1_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1307\/mmj\/1028999131"},{"key":"e_1_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/3209108.3209127"},{"key":"e_1_2_1_52_1","unstructured":"Roger Penrose. 1971. Applications of Negative Dimensional Tensors. In Combinatorial Mathematics and Its Applications D. J. A. Welsh (Ed.). Academic Press. isbn:0-12-743350-3 \t\t\t\t Roger Penrose. 1971. Applications of Negative Dimensional Tensors. In Combinatorial Mathematics and Its Applications D. J. A. Welsh (Ed.). Academic Press. isbn:0-12-743350-3"},{"key":"e_1_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-71995-1_24"},{"key":"e_1_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.STACS.2018.3"},{"key":"e_1_2_1_55_1","first-page":"120","article-title":"On defining relations for the algebra of regular events","volume":"16","author":"Redko Valentin N","year":"1964","unstructured":"Valentin N Redko . 1964 . On defining relations for the algebra of regular events . Ukrainskii Matematicheskii Zhurnal , 16 (1964), 120 \u2013 126 . Valentin N Redko. 1964. On defining relations for the algebra of regular events. Ukrainskii Matematicheskii Zhurnal, 16 (1964), 120\u2013126.","journal-title":"Ukrainskii Matematicheskii Zhurnal"},{"key":"e_1_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/322217.322221"},{"key":"e_1_2_1_57_1","unstructured":"Peter Selinger. 1998. A Note on Bainbridge\u2019s Power Set Construction. BRICS Basic Research in Computer Science Aarhus Denmark. \t\t\t\t Peter Selinger. 1998. A Note on Bainbridge\u2019s Power Set Construction. BRICS Basic Research in Computer Science Aarhus Denmark."},{"key":"e_1_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-12821-9_4"},{"key":"e_1_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-8(3:6)2012"},{"key":"e_1_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/2775051.2676999"},{"key":"e_1_2_1_61_1","unstructured":"Tobias Stollenwerk and Stuart Hadfield. 2022. Diagrammatic Analysis for Parameterized Quantum Circuits. arxiv:2204.01307. arxiv:2204.01307 \t\t\t\t Tobias Stollenwerk and Stuart Hadfield. 2022. Diagrammatic Analysis for Parameterized Quantum Circuits. arxiv:2204.01307. arxiv:2204.01307"},{"key":"e_1_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.2307\/2268577"},{"key":"e_1_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.343.7"},{"key":"e_1_2_1_64_1","unstructured":"Fabio Zanasi. 2015. Interacting Hopf Algebras- the Theory of Linear Systems. Ph. D. Dissertation. Ecole normale sup\u00e9rieure de Lyon - ENS LYON. https:\/\/tel.archives-ouvertes.fr\/tel-01218015 \t\t\t\t Fabio Zanasi. 2015. Interacting Hopf Algebras- the Theory of Linear Systems. Ph. D. Dissertation. Ecole normale sup\u00e9rieure de Lyon - ENS LYON. https:\/\/tel.archives-ouvertes.fr\/tel-01218015"},{"key":"e_1_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.22331\/q-2021-06-04-466"}],"container-title":["Proceedings of the ACM on Programming Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3571257","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,11]],"date-time":"2023-01-11T22:08:56Z","timestamp":1673474936000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3571257"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,1,9]]},"references-count":68,"journal-issue":{"issue":"POPL","published-print":{"date-parts":[[2023,1,9]]}},"alternative-id":["10.1145\/3571257"],"URL":"https:\/\/doi.org\/10.1145\/3571257","relation":{},"ISSN":["2475-1421"],"issn-type":[{"value":"2475-1421","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,1,9]]},"assertion":[{"value":"2023-01-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}