×
Jean-Guillaume杜马；多米尼克·杜瓦尔；珍妮·克劳德·雷纳德

笛卡尔效应类别是Freyd-categories。 （英语） 邮编：1229.18005

J.塞姆。计算。 46，第3期，272-293（2011）.
摘要：在编程语言的范畴语义中，术语的替换通常由组合和有限乘积表示。然而，这并不涉及评价论点的顺序，当有副作用时，这可能会产生重大后果。本文引入笛卡尔效应范畴来解决这一问题，并将其与强单子、Freyd-categories和Haskell箭头进行了比较。证明了笛卡尔效应范畴是一个Freyd范畴，其中前单体结构由一种称为序列积的二元乘积提供。序列乘积的普适性为笛卡尔效应范畴的构造和证明提供了强有力的工具。据我们所知，效应类别和序列产品都是新概念。

引用于三文件

MSC公司：

18 C50 形式语言的范畴语义
第68季度55 计算理论中的语义学
18日99 分类结构

关键词：

范畴逻辑；计算效果；单子；Freyd-类别；前膜类；箭头；顺序积；效果类别；笛卡尔效应类别；范畴语义学；哈斯克尔的箭

软件：

哈斯克尔
PDF格式BibTeX公司 XML格式引用
\textit{J.-G.Dumas}等人，J.Symb。计算。46，第3号，272--293（2011；Zbl 1229.18005）
全文： 内政部

参考文献：

[1] Atkey，R.，2008年。什么是箭头的分类模型？在：数学结构函数编程，MSFP’08。；Atkey，R.，2008年。箭头的分类模型是什么？收录：数学结构函数编程，MSFP'08·Zbl 1291.68107号
[2] Carboni，A。；Lack，S。；Walters，R.，《广义与分布范畴导论》，《纯粹与应用代数杂志》，84，145-158（1993）·Zbl 0784.18001号
[3] 居里，P.-L。；Obtulowitz，A.，《偏爱、笛卡尔封闭性与拓扑，信息与计算》，80，50-95（1989）·Zbl 0674.18001号
[4] 杜马，J.-G.，杜瓦尔，D.，雷纳德，J.-C.，2007年。效果类别中的连续产品。统一资源定位地址http://arxiv.org/abs/0707.1432; 杜马，J.-G.，杜瓦尔，D.，雷纳德，J.-C.，2007年。效果类别中的连续产品。统一资源定位地址http://arxiv.org/abs/0707.1432
[5] Duval，D.，Reynaud，J.-C.，2005年。图表逻辑和异常：简介。收录：达格斯图尔研讨会论文集-MAP05，数学，算法，证明。统一资源定位地址http://www.dagstuhl.de/05021/材料/; Duval，D.，Reynaud，J.-C.，2005年。图表逻辑和异常：简介。收录：达格斯图尔研讨会论文集-MAP05，数学，算法，证明。统一资源定位地址http://www.dagstuhl.de/05021/材料/
[6] 希恩，C。；雅各布斯，B.，《箭头和单子一样都是幺半群》，《理论计算机科学电子笔记》，158219-236（2006）·Zbl 1273.18019号
[7] Hughes，J.，《将单数概括为箭头》，《计算机编程科学》，37，67-111（2000）·Zbl 0954.68034号
[8] 海兰德，M。；Plotkin，G。；Power，J.，《组合效应：和与张量》，《理论计算机科学》，357，70-99（2006）·Zbl 1096.68088号
[9] Mac Lane，S.，（工作数学家的类别。工作数学家类别，数学研究生教材，第5卷（1997年），Springer-Verlag）·Zbl 0232.18001号
[10] Moggi，E.，计算lambda-calculus和monad，（计算机科学中的逻辑（LICS）（1989），IEEE出版社），14-23·Zbl 0716.03007号
[11] Moggi，E.，《计算与单数概念，信息与计算》，93，55-92（1991）·兹比尔0723.68073
[12] Moggi，E.，《评估逻辑的语义学》，《信息学基础》，22，117-152（1995）·Zbl 0816.68082号
[13] Paterson，R.，箭头的新符号，（函数编程国际会议（2001），ACM），229-240·Zbl 1323.68147号
[14] Power，J。；Robinson，E.，前单模态范畴和计算概念，计算机科学中的数学结构，7453-468（1997）·兹比尔0897.18002
[15] 鲍尔，J。；Thielecke，H.，Closed Freyd-and（\kappa）-categories，（国际自动机学院，语言与编程，ICALP’99）。国际学院。关于自动机、语言和编程、ICALP’99、LNCS。，第1644卷（1999），斯普林格·弗拉格），625-634·Zbl 0938.03026号
[16] 塞林格，P.，《控制范畴与对偶：关于lambda-mu演算的范畴语义》，《计算机科学中的数学结构》，第11期，第207-260页（2001年）·Zbl 0984.18003号
[17] Wadler，P.，《函数编程的本质》（第19届程序设计语言原理研讨会（1992年），美国计算机学会）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。