{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,3]],"date-time":"2023-01-03T05:56:37Z","timestamp":1672725397642},"reference-count":32,"publisher":"Association for Computing Machinery (ACM)","issue":"ICFP","license":[{"start":{"date-parts":[[2022,8,31]],"date-time":"2022-08-31T00:00:00Z","timestamp":1661904000000},"content-version":"vor","delay-in-days":2,"URL":"http:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001840","name":"Icelandic Centre for Research","doi-asserted-by":"publisher","award":["196323-053 and 228684-051"]},{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","award":["EP\/S028129\/1"]},{"DOI":"10.13039\/501100002241","name":"Japan Science and Technology Agency","doi-asserted-by":"publisher","award":["JPMJER1603"]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["Proc. ACM Program. Lang."],"published-print":{"date-parts":[[2022,8,29]]},"abstract":"A large class of monads used to model computational effects have natural presentations by operations and equations, for example, the list monad can be presented by a constant and a binary operation subject to unitality and associativity. Graded monads are a generalization of monads that enable us to track quantitative information about the effects being modelled. Correspondingly, a large class of graded monads can be presented using an existing notion of graded presentation. However, the existing notion has some deficiencies, in particular many effects do not have natural graded presentations.<\/jats:p>\n We introduce a notion of flexibly graded presentation that does not suffer from these issues, and develop the associated theory. We show that every flexibly graded presentation induces a graded monad equipped with interpretations of the operations of the presentation, and that all graded monads satisfying a particular condition on colimits have a flexibly graded presentation. As part of this, we show that the usual algebra-preserving correspondence between presentations and a class of monads transfers to an algebra-preserving correspondence between flexibly graded presentations and a class of flexibly graded monads.<\/jats:p>","DOI":"10.1145\/3547654","type":"journal-article","created":{"date-parts":[[2022,8,31]],"date-time":"2022-08-31T19:39:26Z","timestamp":1661974766000},"page":"902-930","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Flexible presentations of graded monads"],"prefix":"10.1145","volume":"6","author":[{"ORCID":"http:\/\/orcid.org\/0000-0001-7529-5489","authenticated-orcid":false,"given":"Shin-ya","family":"Katsumata","sequence":"first","affiliation":[{"name":"National Institute of Informatics, Japan"}]},{"ORCID":"http:\/\/orcid.org\/0000-0002-6705-1449","authenticated-orcid":false,"given":"Dylan","family":"McDermott","sequence":"additional","affiliation":[{"name":"Reykjavik University, Iceland"}]},{"ORCID":"http:\/\/orcid.org\/0000-0002-1297-0579","authenticated-orcid":false,"given":"Tarmo","family":"Uustalu","sequence":"additional","affiliation":[{"name":"Reykjavik University, Iceland \/ Tallinn University of Technology, Estonia"}]},{"ORCID":"http:\/\/orcid.org\/0000-0002-4161-985X","authenticated-orcid":false,"given":"Nicolas","family":"Wu","sequence":"additional","affiliation":[{"name":"Imperial College London, UK"}]}],"member":"320","published-online":{"date-parts":[[2022,8,31]]},"reference":[{"key":"e_1_2_1_1_1","first-page":"33","article-title":"On Sifted Colimits and Generalized Varieties","volume":"8","author":"Ad\u00e1mek Ji\u0159\u00ed","year":"2001","unstructured":"Ji\u0159\u00ed Ad\u00e1mek and Ji\u0159\u00ed Rosick\u00fd . 2001 . On Sifted Colimits and Generalized Varieties . Theory Appl. Categ. , 8 , 3 (2001), 33 \u2013 53 . http:\/\/www.tac.mta.ca\/tac\/volumes\/8\/n3\/8-03abs.html Revised 2007 Ji\u0159\u00ed Ad\u00e1mek and Ji\u0159\u00ed Rosick\u00fd. 2001. On Sifted Colimits and Generalized Varieties. Theory Appl. Categ., 8, 3 (2001), 33\u201353. http:\/\/www.tac.mta.ca\/tac\/volumes\/8\/n3\/8-03abs.html Revised 2007","journal-title":"Theory Appl. Categ."},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.2168\/lmcs-11(1:3)2015"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-009-8399-1"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.4230\/lipics.concur.2019.36"},{"key":"e_1_2_1_5_1","unstructured":"Nikolai Durov. 2007. New Approach to Arakelov Geometry. arXiv eprint 0704.2030. arxiv:0704.2030. arxiv:0704.2030 \t\t\t\t Nikolai Durov. 2007. New Approach to Arakelov Geometry. arXiv eprint 0704.2030. arxiv:0704.2030. arxiv:0704.2030"},{"key":"e_1_2_1_6_1","first-page":"170","article-title":"A Probability Monad as the Colimit of Spaces of Finite Samples","volume":"34","author":"Fritz Tobias","year":"2019","unstructured":"Tobias Fritz and Paolo Perrone . 2019 . A Probability Monad as the Colimit of Spaces of Finite Samples . Theory Appl. Categ. , 34 , 7 (2019), 170 \u2013 220 . http:\/\/www.tac.mta.ca\/tac\/volumes\/34\/7\/34-07abs.html Tobias Fritz and Paolo Perrone. 2019. A Probability Monad as the Colimit of Spaces of Finite Samples. Theory Appl. Categ., 34, 7 (2019), 170\u2013220. http:\/\/www.tac.mta.ca\/tac\/volumes\/34\/7\/34-07abs.html","journal-title":"Theory Appl. Categ."},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49630-5_30"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-72019-3_9"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40206-7_13"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/s0022-4049(97)00167-9"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2006.03.013"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103656.2103698"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535846"},{"key":"e_1_2_1_14_1","series-title":"Lecture Note Series","volume-title":"Basic Concepts of Enriched Category Theory (London Math. Soc","author":"Kelly G. Max","unstructured":"G. Max Kelly . 1982. Basic Concepts of Enriched Category Theory (London Math. Soc . Lecture Note Series , Vol. 64). Cambridge University Press, Cambridge. Reprinted (2005) as: Reprints in Theory and Applications of Categories 10 , http:\/\/www.tac.mta.ca\/tac\/reprints\/articles\/10\/tr10abs.html G. Max Kelly. 1982. Basic Concepts of Enriched Category Theory (London Math. Soc. Lecture Note Series, Vol. 64). Cambridge University Press, Cambridge. Reprinted (2005) as: Reprints in Theory and Applications of Categories 10, http:\/\/www.tac.mta.ca\/tac\/reprints\/articles\/10\/tr10abs.html"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-4049(93)90092-8"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-45231-5_21"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10485-009-9215-2"},{"key":"e_1_2_1_18_1","unstructured":"Paul Blain Levy. 2019. Locally Graded Categories. Slides. https:\/\/www.cs.bham.ac.uk\/~pbl\/papers\/locgrade.pdf \t\t\t\t Paul Blain Levy. 2019. Locally Graded Categories. Slides. https:\/\/www.cs.bham.ac.uk\/~pbl\/papers\/locgrade.pdf"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/73560.73564"},{"key":"e_1_2_1_20_1","volume-title":"Mathematics of Program Construction: 14th Int. Conf., MPC","author":"McDermott Dylan","year":"2022","unstructured":"Dylan McDermott and Tarmo Uustalu . 2022. Flexibly Graded Monads and Graded Algebras . In Mathematics of Program Construction: 14th Int. Conf., MPC 2022 , Tbilisi, Georgia, September 26\u201328, 2022, Proceedings, Ekaterina Komendantskaya (Ed.). Lect. Notes in Comput. Sci. Springer , Cham. (to appear) Dylan McDermott and Tarmo Uustalu. 2022. Flexibly Graded Monads and Graded Algebras. In Mathematics of Program Construction: 14th Int. Conf., MPC 2022, Tbilisi, Georgia, September 26\u201328, 2022, Proceedings, Ekaterina Komendantskaya (Ed.). Lect. Notes in Comput. Sci. Springer, Cham. (to appear)"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/lics.2010.46"},{"key":"e_1_2_1_22_1","unstructured":"Paul-Andr\u00e9 Melli\u00e8s. 2012. Parametric Monads and Enriched Adjunctions. Manuscript. https:\/\/www.irif.fr\/~mellies\/tensorial-logic\/8-parametric-monads-and-enriched-adjunctions.pdf \t\t\t\t Paul-Andr\u00e9 Melli\u00e8s. 2012. Parametric Monads and Enriched Adjunctions. Manuscript. https:\/\/www.irif.fr\/~mellies\/tensorial-logic\/8-parametric-monads-and-enriched-adjunctions.pdf"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.4230\/lipics.calco.2015.253"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-27810-0_1"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1017\/s0956796817000077"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45931-6_24"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1023\/a:1023064908962"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10958-008-9013-7"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37075-5_26"},{"key":"e_1_2_1_30_1","first-page":"217","article-title":"Two Constructions on Lax Functors","volume":"13","author":"Street Ross","year":"1972","unstructured":"Ross Street . 1972 . Two Constructions on Lax Functors . Cah. Topol. G\u00e9om. Diff. Cat\u00e9g. , 13 , 3 (1972), 217 \u2013 264 . http:\/\/www.numdam.org\/item\/CTGDC_1972__13_3_217_0 Ross Street. 1972. Two Constructions on Lax Functors. Cah. Topol. G\u00e9om. Diff. Cat\u00e9g., 13, 3 (1972), 217\u2013264. http:\/\/www.numdam.org\/item\/CTGDC_1972__13_3_217_0","journal-title":"Cah. Topol. G\u00e9om. Diff. Cat\u00e9g."},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jpaa.2016.06.003"},{"key":"e_1_2_1_32_1","volume-title":"Indicial Methods for Relative Categories. Ph. D. Dissertation","author":"Wood Richard J.","unstructured":"Richard J. Wood . 1976. Indicial Methods for Relative Categories. Ph. D. Dissertation . Dalhousie University . http:\/\/hdl.handle.net\/10222\/55465 Richard J. Wood. 1976. Indicial Methods for Relative Categories. Ph. D. Dissertation. Dalhousie University. http:\/\/hdl.handle.net\/10222\/55465"}],"container-title":["Proceedings of the ACM on Programming Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3547654","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3547654","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,2]],"date-time":"2023-01-02T08:56:03Z","timestamp":1672649763000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3547654"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,8,29]]},"references-count":32,"journal-issue":{"issue":"ICFP","published-print":{"date-parts":[[2022,8,29]]}},"alternative-id":["10.1145\/3547654"],"URL":"http:\/\/dx.doi.org\/10.1145\/3547654","relation":{},"ISSN":["2475-1421"],"issn-type":[{"value":"2475-1421","type":"electronic"}],"subject":["Safety, Risk, Reliability and Quality","Software"],"published":{"date-parts":[[2022,8,29]]},"assertion":[{"value":"2022-08-31","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}