阿洛依斯·罗塞特;Helle Hvid Hansen先生;约尔格恩德鲁利斯 半自由单子的代数表示。 （英语） Zbl 07628069号 Hansen，Helle Hvid（编辑）等，《计算机科学中的协同代数方法》。第16届IFIP工作组1.3国际研讨会，CMCS 2022，与ETAPS 2022共同举办，德国慕尼黑，2022年4月2日至3日。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。13225, 110-132 (2022). 摘要：单子及其通过分配律的组合在程序语义和函数编程中有许多应用。对于许多有趣的单子，分配定律并不存在，这促使人们对较弱的概念进行研究。在这方面的研究中，Petrişan和Sarkis最近引入了一种称为半自由单子的结构，以研究单子和弱分配律的半代数。本文证明了单子（M）上半自由单子（M^{mathrm{s}}）的代数表示可以从M的代数表示统一得到。这一结果是由彼得里桑和萨基斯推测出来的。我们还证明了半自由单体是理想单体，半自由结构不是单体变换器，并且半自由结构是单体范畴上的共单体。关于整个系列，请参见[Zbl 1499.68017号]. MSC公司： 68问题65 抽象数据类型；代数规范 关键词：代数理论;单子;代数表示;半自由的 PDF格式BibTeX公司 XML格式引用 \textit｛A.Rosset｝等人，Lect。注释计算。科学。13225、110-132（2022；Zbl 07628069） 全文： 内政部 arXiv公司 链接 参考文献： [1] Aczel，P。；Adámek，J。；米利厄斯，S。；Velebil，J.，《无限树和完全迭代理论：一个联合的观点》，Theoret。计算。科学。，300, 1-3, 1-45 (2003) ·Zbl 1028.68077号 ·doi:10.1016/S0304-3975（02）00728-4 [2] Adamek，J.，Rosicky，J.：本地呈现和可访问类别。伦敦数学学会讲座笔记系列。剑桥大学出版社，剑桥（1994）。doi:10.1017/CBO9780511600579·Zbl 0795.18007号 [3] Adámek，J.，Milius，S.，Bowler，N.J.，Levy，P.B.：片场上单子的副产品。摘自：第27届IEEE计算机科学逻辑研讨会论文集，LICS 2012，克罗地亚杜布罗夫尼克，2012年6月25日至28日，第45-54页。IEEE计算机学会（2012）。doi:10.1109/LICS.2012.16·Zbl 1364.18001号 [4] Awodey，S.：范畴理论。牛津逻辑指南。埃布斯科出版社（2006）·Zbl 1100.18001号 [5] Barr，M.，Wells，C.：拓扑、三元组和理论。数学综合研究。施普林格，纽约（1985）·Zbl 0567.18001号 [6] 贝克，J。；埃克曼，B.，分配定律，三元组和范畴同调理论研讨会，119-140（1969），海德堡：斯普林格·Zbl 0186.02902号 ·doi:10.1007/BFb0083084 [7] Bonchi，F。；Santamaria，A.，《结合半格和半模》，软件科学和计算结构基础，102-123（2021），Cham:Springer，Cham·兹伯利07410421 ·doi:10.1007/978-3-030-71995-16 [8] Bonchi，F.，Sokolova，A.，Vignudelli，V.：具有不确定性和概率的系统的迹理论。摘自：第34届ACM/IEEE计算机科学逻辑年会，LICS 2019，第1-14页。IEEE（2019）。doi:10.1109/LICS.2019.8785673·Zbl 07566077号 [9] Böhm，G.：单子的弱理论。高级数学。225, 1-32 (2010). doi:10.1016/j.aim.2010.02.015·兹比尔1206.18004 [10] 艾尔戈特，CC；布鲁姆，SL；Tindell，R.，《关于有根树的代数结构》，J.Compute。系统。科学。，16, 361-399 (1978) ·Zbl 0389.68007号 ·doi:10.1007/978-1-4613-8177-87 [11] Garner，R.，《vietoris monad和弱分配定律》，Appl。类别。结构。，28, 2, 339-354 (2019) ·Zbl 1442.18010号 ·文件编号：10.1007/s10485-019-09582-w [12] Ghani，N.，Uustalu，T.：理想单子的副产物。RAIRO提奥。通知。申请。38(4), 321-342 (2004). doi:10.1051/ita:2004016·Zbl 1072.18006号 [13] Goy，A.，Petrisan，D.：通过弱分布律结合概率和非确定性选择。摘自：Hermanns，H.，Zhang，L.，Kobayashi，N.，Miller，D.（编辑）LICS 2020：第35届ACM/IEEE计算机科学逻辑年会，第454-464页。ACM（2020年）。数字对象标识代码：10.1145/3373718.3394795·Zbl 1502.68171号 [14] van Heerdt，G。；Sammartino，M。；席尔瓦，A。；彼得里桑，D。；Rot，J.，《带副作用的学习自动机》，《计算机科学中的协代数方法》，68-89（2020），Cham:Springer，Cham·兹比尔1516.68050 ·doi:10.1007/978-3-030-57201-35 [15] 海兰德，M。；Plotkin，广东省；Power，J.，《组合效应：总和和张量》，Theoret。计算。科学。，357, 1-3, 70-99 (2006) ·Zbl 1096.68088号 ·doi:10.1016/j.tcs.2006.03.013 [16] Hyland，M.，Tasson，C.：线性非线性代换2-单体。摘自：Spivak，D.I.，Vicary，J.（编辑）《2020年第三届国际应用范畴理论年会论文集》，ACT 2020。EPTCS，第333卷，第215-229页（2020年）。doi:10.4204/EPTCS.333.15·兹伯利1477.18012 [17] 雅各布斯，B.，《弱化和收缩的语义》，《纯粹应用》。逻辑，69，173-106（1994）·Zbl 0814.03007号 ·doi:10.1016/0168-0072（94）90020-5 [18] 雅各布斯，B。；Calude，CS；Sassone，V.，《凸性、对偶性和效应》，《理论计算机科学》，1-19（2010），海德堡：施普林格出版社·Zbl 1202.18002号 ·doi:10.1007/978-3642-15240-5_1 [19] 雅各布斯，B。；席尔瓦，A。；Sokolova，A.，《通过确定性追踪语义》，J.Compute。系统。科学。，81, 5, 859-879 (2015) ·Zbl 1327.68158号 ·doi:10.1016/j.jcss.2014.12.005 [20] Jaskelioff，M。；Castagna，G.，《模块化单子变压器，编程语言和系统》，64-79（2009），海德堡：施普林格出版社·Zbl 1234.68056号 ·doi:10.1007/978-3642-00590-96 [21] Katsumata，S.，Rivas，E.，Uustalu，T.：单体和共鸣体的相互作用规律。摘自：Hermanns，H.，Zhang，L.，Kobayashi，N.，Miller，D.（编辑）LICS 2020：第35届ACM/IEEE计算机科学逻辑年会，第604-618页。ACM（2020年）。数字对象标识代码：10.1145/3373718.3394808·Zbl 1499.68065号 [22] Klin，B.，Salamanca，J.：迭代协变功率集不是单子。收录：Staton，S.（编辑）《第三十四届编程语义数学基础会议论文集》，MFPS 2018。《理论计算机科学电子笔记》，第341卷，第261-276页。Elsevier（2018）。doi:10.1016/j.entcs.2018.11.013·兹比尔1528.18007 [23] 库普夫曼，O。；Lustig，Y。；库克，B。；Podelski，A.，《格子自动机、验证、模型检查和抽象解释》，199-213（2007），海德堡：施普林格出版社·Zbl 1132.68455号 ·数字对象标识代码：10.1007/978-3-540-69738-1_14 [24] Liang，S.、Hudak，P.、Jones，M.P.：单声道变形金刚和模块化口译员。摘自：Cytron，R.K.，Lee，P.（编辑）《1995年POPL会议记录：第22届ACM SIGPLAN-SIGACT编程语言原理研讨会》，1995年1月23日至25日，美国加利福尼亚州旧金山，第333-343页。ACM出版社（1995）。数字对象标识代码：10.1145/199448.199528 [25] 麦克莱恩，S.，《在职数学家的分类》（1971），纽约：施普林格，纽约·Zbl 0705.18001号 [26] Manes，E.，代数理论（1976），纽约：Springer，纽约·Zbl 0353.18007号 ·doi:10.1007/978-1-4612-9860-1 [27] Métayer，F.：状态单子及其代数。arXiv:math/0407251，《范畴理论》（2004）。doi:10.48550/arXiv.math/0407251 [28] Milius，S.、Pattinson，D.、Schröder，L.：通用跟踪语义和分级单体。收录于：Moss，L.S.，Sobocinski，P.（eds.）第六届计算机科学中的代数和余代数会议，CALCO 2015。LIPIcs，第35卷，第253-269页。Dagstuhl Schloss-Leibniz-Zentrum für Informatik（2015）。doi:10.4230/LIPIcs。加利福尼亚州2015年5月253日·Zbl 1366.68211号 [29] Mio，M.，Sarkis，R.，Vignudelli，V.：结合不确定性、概率和终止：等式和度量推理。摘自：第36届ACM/IEEE计算机科学逻辑年会，LICS 2021，第1-14页。IEEE（2021）。doi:10.1109/LICS52264.2021.9470717 [30] Mio，M.，Vignudelli，V.：不确定性和概率的单数和定量方程理论。参见：Konnov，I.，Kovács，L.（eds.）第31届并行理论国际会议，CONCUR 2020。LIPIcs，第171卷，第28:1-28:18页。达格斯图尔-莱布尼兹·泽特鲁姆宫（Schloss Dagstuhl-Leibniz-Zentrum für Informatik）（2020年）。doi:10.4230/LIPIcs。合同2020.28·Zbl 07559484号 [31] Moggi，E.：计算和单子的概念。Inf.计算。93(1), 55-92 (1991). doi:10.1016/0890-5401（91）90052-4。1989年IEEE计算机科学逻辑研讨会选集·Zbl 0723.68073号 [32] Petrisan，D.，Sarkis，R.：半代数和弱分配律。摘自：Sokolova，A.（ed.）Proceedings 37 Conferences on Mathematical Foundation of Programming Semantics，MFPS 2021。EPTCS，第351卷，第218-241页（2021年）。doi:10.4204/EPTCS.351.14 [33] 普洛金，GD；Power，J。；尼尔森，M。；Engberg，U.，《计算概念决定单子》，《软件科学和计算结构基础》，342-356（2002），海德堡：施普林格出版社·兹比尔1077.68676 ·doi:10.1007/3-540-45931-6_247 [34] Power，J。；菲亚德罗，JL；哈曼，N。；罗根巴赫，M。；Rutten，J.，《离散Lawvere理论，计算机科学中的代数和余代数》，348-363（2005），海德堡：斯普林格出版社·Zbl 1151.18002号 ·doi:10.1007/11548133_22 [35] Riehl，E.：语境中的范畴理论。多佛现代数学原著，多佛出版物，Aurora（2017） [36] Rosset，A.，Hansen，H.H.，Endrullis，J.：半自由单子的代数表示。arX输入：cs。LO（2022年）。doi:10.48550/ARXIV.2205.05392 [37] Street，R.：弱分配定律。理论应用。类别22313-320（2009）·Zbl 1201.18004号 [38] 瓦拉卡，D。；Winskel，G.，《不确定性概率分布》，数学。结构。计算。科学。，16, 87-113 (2006) ·邮编1093.18002 ·doi:10.1017/S0960129505005074 [39] Wadler，P.：函数式编程的本质。摘自：Sethi，R.（编辑）《第十九届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录》，第1-14页。ACM出版社（1992）。doi:10.145/143165.143169 [40] Zwart，M.，Marsden，D.：分配律的No-go定理。摘自：第34届ACM/IEEE计算机科学逻辑年会，LICS 2019，第1-13页。IEEE（2019）。doi:10.1109/LICS.2019.8785707·Zbl 07471702号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。