×
迪伦·麦克德莫特;塔尔莫乌斯塔卢

是什么造就了一个强大的单子？ （英语） Zbl 07779295号

Jeremy Gibbons等人，《数学结构函数编程第九次研讨会论文集》，MSFP 2022，德国慕尼黑，2022年4月2日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）360、113-133（2022）。
摘要：强单体对于一些应用程序很重要，特别是在有效语言的指称语义中，其中需要强度来对具有自由变量的计算进行排序。强度是非平凡的：很难确定单体是否有任何强度，单体可以通过多种方式变得强大。因此，我们回顾了一些关于力量的最重要的已知事实，并证明了一些新的事实。特别地，我们给出了强函子和强单子的一些等价刻划，并给出了一些保证强度存在或唯一的条件。我们从三个不同的角度来看待力量：单体范畴的作用（mathbf{V}），富集超过（mathbf{V}\），增强超过（mathbf{V{}\）。我们主要受效果语义的影响，但结果在其他情况下也很有用。
关于整个系列，请参见[Zbl 1522.68030号].

MSC公司：

68倍 计算机科学
2018年XX月18日 范畴理论；同调代数
PDF格式BibTeX公司 XML格式引用
\textit｛D.Mcdermott｝和\textit｛T.Uustalu｝，电子。程序。西奥。计算。科学。（EPTCS）360、113--133（2022；Zbl 07779295）
全文： arXiv公司 链接

参考文献：

[1] Samson Abramsky和Chris Heunen（2012）：H*-代数和非酉Frobenius代数：无限维范畴量子力学的第一步。In：信息流的数学基础，Proc。应用数学专题讨论会。71，美国。数学。Soc.，第1-24页，doi:10.1090/psapm/071/599·兹比尔1267.18007 ·doi:10.1090/psapm/071/599
[2] J.Robin B.Cockett和Dwight Spencer（1992）：强分类数据类型I。Robert A.G.Seely，编辑：《分类理论》1991，CMS会议论文集13，Amer。数学。Soc.，第141-169页·Zbl 0792.18008号
[3] Jeff Egger、Rasmus Ejlers Mögelberg和Alex Simpson（2009）：用线性类型丰富效应演算。Erich Grädel&Reinhard Kahle主编：《计算机科学逻辑》，第23届国际研讨会，CSL 2009，计算机科学5771讲稿，Springer，第240-254页，doi:10.1007/978-3642-04027-6 19·Zbl 1257.03053号 ·doi:10.1007/978-3642-04027-6_19
[4] Marcelo Fiore（2008）：二阶和相关排序抽象语法。In：程序。第23届IEEE计算机科学逻辑年会，LICS’08，IEEE，第57-68页，doi:10.1109/LICS.2008.38·doi:10.1109/lics.2008.38
[5] Marcelo Fiore、Gordon Plotkin和Daniele Turi（1999）：抽象语法和变量绑定。In：程序。第14届IEEE计算机科学逻辑年会，LICS’99，IEEE，第193-202页，doi:10.1109/LICS.1999.782615·doi:10.1109/lics.1999.782615
[6] Marcelo Fiore和Philip Saville（2017）：列出具有代数结构的对象。Dale Miller主编：《第二届国际计算和演绎形式结构会议》，FSCD 2017，Leibniz Int.Proc。《信息学84》，达格斯图尔出版社，第16:1-16:18页，doi:10.4230/lipics.fscd.2017.16·Zbl 1441.68016号 ·doi:10.4230/lipics.fscd.2017.16
[7] Robert Gordon和A.John Power（1997）：通过变化丰富。J.纯应用。《代数》120（2），第167-185页，doi:10.1016/s0022-4049（97）00070-4·Zbl 0881.18006号 ·doi:10.1016/s0022-4049（97）00070-4
[8] George Janelidze和G.Max Kelly（2001）：关于单体范畴动作的注释。西奥。申请。类别。9（4），第61-91页。可在http://www.tac.mta.ca/tac/volumes/9/n4/9-04abs.html。 ·Zbl 1009.18005号
[9] Ohad Kammar、Paul B.Levy、Sean K.Moss和Sam Staton（2017年）：全地面参考细胞的单克隆抗体。In：程序。第32届ACM/IEEE计算机科学逻辑研讨会，LICS’17，IEEE，第1-12页，doi:10.1109/LICS.2017.8005109·Zbl 1458.68122号 ·doi:10.10109/lics.2017.8005109
[10] G.Max Kelly（1980）：自由代数、自由幺半群、Colimits、相关Sheeve等的超有限构造的统一处理。南方的。数学。Soc.22（1），第1-83页，doi:10.1017/40004972700006353·Zbl 0437.18004号 ·doi:10.1017/40004972700006353
[11] G.Max Kelly（1982）：丰富范畴理论的基本概念。伦敦数学。Soc.讲座笔记Se-ries 64，剑桥大学出版社。再版（2005）为：第10类理论与应用再版，http://www.tac.mta.ca/tac/reprints/articles/10/tr10abs.html。 ·Zbl 0478.18005号
[12] 安德斯·科克（1970）：对称单体闭范畴上的单数。架构（architecture）。数学。21（1），第1-10页，doi:10.1007/bf01220868·Zbl 0196.03403号 ·doi:10.1007/bf01220868
[13] 安德斯·科克（1971）：双线性和笛卡尔闭单数。数学。扫描。29（2），第161-174页，doi:10.7146/math.scanda.a-11042·Zbl 0253.18006号 ·doi:10.7146/math.scanda.a-11042
[14] 安德斯·科克（1971）：交换单数生成的闭范畴。牛市。南方的。数学。Soc.12（4），第405-424页，doi:10.1017/1446788700010272·Zbl 0244.18007号 ·doi:10.1017/s1446788700010272
[15] 安德斯·科克（1972）：强函数和单体单子函数。架构（architecture）。数学。23（1），第113-120页，doi:10.1007/bf01304852·Zbl 0253.18007号 ·doi:10.1007/bf01304852
[16] 安德斯·科克（2012）：作为分布理论的交换单数。西奥。申请。类别。26（4），第97-131页。可在http://www.tac.mta.ca/tac/volumes/26/4/26-04abs.html。 ·Zbl 1261.18004号
[17] Joachim Lambek（1974）：笛卡尔范畴的函数完备性。安。数学。日志。6（3-4），第259-292页，doi:10.1016/0003-4843（74）90003-5·Zbl 0282.18004号 ·doi:10.1016/0003-4843（74）90003-5
[18] Paul B.Levy（2003年）：Call-by-Push-Value:功能性/强制性综合。Com-putation 2中的语义结构，Kluwer学术出版社，doi:10.1007/978-94-007-0954-6·Zbl 1070.68017号 ·doi:10.1007/978-94-007-0954-6
[19] Paul B.Levy（2019）：当地分级类别。剑桥大学分类理论研讨会演讲幻灯片，2019年2月12日。可在网址：http://www.cs.bham.ac.uk/pbl/papers/locgrade.pdf。
[20] Paul B.Levy（2019）：多排序集上的强函数。注释。数学。卡罗琳大学。60（4），第533-540页，doi:10.14712/1213-7243.2019.029·Zbl 1474.18001号 ·doi:10.14712/1213-7243.2019.029
[21] Fred E.J.Linton（1969）：代数范畴中的余限定词。在Beno Eckmann，编辑：Triples和范畴同调理论研讨会，《数学讲义80》，Springer，第75-90页，doi:10.1007/bfb0083082·Zbl 0181.02902号 ·doi:10.1007/bfb0083082
[22] Paul-AndréMelliès（2012）：参数单数和丰富的副词。手稿。可在网址：https://www.irif.fr/mellies/张量逻辑/8-参数矩阵和丰富的附加函数.pdf。
[23] 尤金尼奥·莫吉（1989）：计算λ-微积分和单数。In：程序。第四届IEEE计算机科学逻辑年会，LICS’89，IEEE，第14-23页，doi:10.1109/LICS.1989.39155·Zbl 0716.03007号 ·doi:10.1109/lics.1989.39155
[24] 菲利普·穆里（2013）：《君主力量的概念》。Anindya Banerjee、Olivier Danvy、Kyung-Goo Doh和John Hatcliff，编辑：《语义学、抽象解释和程序推理：在David A.Schmidt六十岁生日之际写给他的论文》，理论计算机科学电子论文129，开放出版协会，第67-83页，doi:10.4204/eptcs.129.6·Zbl 1464.68086号 ·doi:10.4204/eptcs.129.6
[25] 杜什科·巴夫洛维奇（1997）：《行动微积分中的名称和抽象的范畴逻辑》。数学。结构。Com-输入。科学。7（6），第619-637页，doi:10.1017/s0960129597002296·Zbl 0893.03028号 ·doi:10.1017/s0960129597002296
[26] Maciej Piróg（2016）：Eilenberg-Moore单子体和回溯单子变形金刚。Robert Atkey&Neelakantan Krishnaswami，编辑：Proc。第六届数学结构函数编程研讨会，MSFP’16，理论计算机科学电子论文集207，开放出版协会，第23-56页，doi:10.4204/eptcs.207.2·Zbl 1477.18013号 ·doi:10.4204/eptcs.207.2
[27] John Power和Hayo Thielecke（1999）：封闭的Freyd和κ-类别。在JiříWiedermann、Peter van Emde Boas和Mogens Nielsen的著作中，编辑：Automata，Languages and Programming，第26届国际学术讨论会，ICALP’99，计算机科学讲稿1644，Springer，第625-634页，doi:10.1007/3-540-48523-6 59·Zbl 0938.03026号 ·doi:10.1007/3-540-48523-6_59
[28] Tetsuya Sato（2018）：Giry Monad对于Meas上的正则对称单体封闭结构不强。J.纯应用。《代数》222（10），第2888-2896页，doi:10.1016/j.jpaa.2017.11.004·兹伯利1423.18013 ·doi:10.1016/j.jpaa.2017.11.004
[29] Urs Schreiber，Paolo Perrone等人（2021年）：强单子（版本46）。ncatlab页面。网址：https://ncatlab.org/nlab/show/strong+monad。2009年7月22日的第1版由美国编写。；P.P.于2020年1月27日在第26版中添加了丰富和合作视角。
[30] Kornél Szlachányi（2017）：关于斜单体Actegories上模的张量乘积。J.纯应用。《代数》221（1），第185-221页，doi:10.1016/j.jpaa.2016.06.003·Zbl 1401.18022号 ·doi:10.1016/j.jpaa.2016.06.003
[31] 理查德·伍德（1976）：相对类别的指数方法。达尔豪西大学博士论文。可在http://hdl.handle.net/1022/55465。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。