{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2023,8,2]，“日期-时间”：“2023-08-02T11:18:08Z”，“时间戳”：1690975088628}，“参考-计数”：21，“出版商”：“剑桥大学出版社（CUP）”，“问题”：“5”，“许可证”：[{“开始”:{“日期-零件”：[2015,8,24]]，“日期时间“：”2015-08-24T00:00:00Z“，”时间戳“：1440374400000}，“content-version”：“unspecified”，“delay-in-days”：0，“URL”：“https:\/\/www.cambridge.org\/core\/terms”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，”short-container-title“：[”Math.Struct.Comp.Sci.“]，”published-print“：{”date-parts“：[2017,6]}”，“abstract”：“”每个对话类别都配有一个延续单子，它通过两次应用否定函子来定义。在本文中，我们主张应该将这种双重否定单子理解为更大的参数单子（或松弛动作）的一部分，参数取自对话类别的相反部分。这种替代观点有一个主要的概念优势：它揭示了延续单子的力量是一个更基本和对称结构的碎片，这是由参数延续单子和对话范畴对其自身的规范作用之间的分配律提供的。本文的目的是描述这种参数延拓单子及其分配律的形式性质<\/jats:p>“，”DOI“：”10.1017\/s096012951500328“，”type“：”journal-article“，”created“：{”date-parts“：[[2015,8,24]]，”date-time“：”2015-08-24T05:24:14Z“，”timestamp“：1440393854000}，”page“：“651-680”，“source”：“Crossref”，“is-referenced-by-count”：7，“title”：[“参数延续monad”]，“前缀”：“10.1017”，“卷”：“27“，”作者“：[{”给定“：”PAUL-ANDR\u00c9“，”family“：”MELLI\u00c8S“，”sequence“：”first“，”affiliation“：[]}]，”member“：”56“，”published-online“：{”date-parts“：[[2015,8,24]]}，”reference“：[{”key“：”S0960129515000328_ref5“，”doi-asserted-by“：“publisher”，“doi”：“10.1016\/0022-4049（95）00160-3”}，{“key”：“S0901295150000328_ref18”，“unstructured“：”MELLI\u00e8s P.-A.（2013b）螺旋否定的微观研究。提交。作者网页上有手稿。“}，{”key“：”S0960129515000328_ref15“，”unstructured“：”Melli\u00e8s P.-A.（2009）。线性逻辑的分类语义。发表于计算和程序行为的交互模型中。Panoramas et Synth\u00e 8ses 27，Soci\u00e9t\u00e9 Math\u00 e9matique de France。“}由附加词生成的单体函子，应用于结构的传输“，”volume“：”43“，”author“：”Kelly“，”year“：”2004“，”journal-title“：”Fields Institute Communications“}，{“key”：“S0960129515000328_ref1”，“doi-asserted-by”：“publisher”，“doi”：“10.1017\/S09567980900728X”}，“key“：DOI“：”10.1016\/j.apal.2009.07.018“}，{“key”：“S09K129515000328_ref21”，“DOI-asserted-by”：“publisher”，“DOI”：“10.1051\/ita:2003022”}，“key“：”S0960129515000328 _ref13“，”DOI-assert-by“：”publisher“，”DOI““：”101016\/0890-5401（91）90052-4“}“：”Melli\u00e8s P.-A.（2006）.沿左伴随的转移定理。未发表的手稿。“}，{”key“：”S0960129515000328_ref3“，”first-page“：”1887“，”article-title“：”Cat\u00e9gories avec乘法“，”volume“：“256”，“author”：“B\u00e 9nabou”，“year”：“1963”，“journal-title”：“C.R.Acad\u00e_9mie des Sciences，Paris”}，}“key”：“S09012951500028_ref12”，“doi-asserted-by”：“publisher”，”doi“：”10.1017 \/CBO9780511525896“}，{”键“：”S0960129515000328_ref10“，“首页”：“75”，“文章标题”：“两类元素综述”，“卷”：“420”，“作者”：“凯利”，“年份”：“1974年”，“新闻标题”：”LNM“}，{“key”：“S09601290515000328 _ref17”，“非结构化”：“Melli\u00e8s P.-A（2013a）。否定的微观研究。已提交。手稿可在作者的网页上获得。”}，“key“：”S0960129515000328_ref2“，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/BFb0083084“}，”key“：”S096019515000328_ref19“，”unstructured“：”Melli\u00e8s P.-A（2015）。对话类别和手性。收录：数学科学研究所出版物。待出版。“}非结构化“：”Melli\u00e8s P.-A.（2012）。字符串图中的游戏语义。摘自：计算机科学逻辑年度研讨会论文集。“，”DOI“：”10.1109\/LICS.2012.58“}，{”key“：”S09K129515000328_ref7“，”DOI-asserted-by“：”publisher“，”DOI“：“10.1017\/CBO9780511629150”}，“key”：“S09601295150000328_ref6”，“DOI-assert-by”：“publisher”，“DOI”：“10.116\/0304-3975（87）90045-4”}、{”key“：“S0960129515000328 _ref1”，“DOI-asserted-by”：“publisher”，“DOI”：“10.7146\/math.scank.a-10995”}，{“key”：“S0960129515000328_ref8“，”doi-asserted-by“：”publisher“，”doi“：”10.1016\/S0304-3975（99）00051-1“}，{“key”：“S096019515000328_ref4”，“doi-assert-by”：“publisher”，“doi”：“10.1016\/0022-4049（95）00159-X”}]，“container-title”：[“Computer Science中的数学结构”]，“original title”：[]，“language”：“en”，“link”：[{“URL”：“https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0960129515000328“，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[[2019,4,17]]，“date-time”：”2019-04-17T22:43:43:43Z“timestamp”：1555541023000}，“score”：1，“resource”：{“primary”：{“URL”：“https://www.cambridge.org\/core\/product\/identifier\/S09960129515000328\/type\/journal_article“｝｝”，“副标题”：[]，“短标题”：[]，“已发布”：｛“日期部分”：[[2015,8,24]]｝，“参考文献数”：21，“期刊发行”：｛“发行”：“5”，“已发布印刷品”：｛“日期部分”：[[2017,6]]｝｝，“替代id”：[“S0960129515000328”]，“URL”：“http:\/\/dx.doi.org\/10.1017\/s0960129515000328“，”关系“：{}，”ISSN“：[”0960-1295“，”1469-8072“]，”ISSN-type“：[{”value“：”09601295“，”type“:”print“}，{”value“：”1469-80“，”类型“：”电子“}]，”主题“：[]，”已发布“：{”日期段“：[2015,8,24]]}}}}