×
权力，约翰

计算效果的通用模型。 （英语） 邮编1123.18005

西奥。计算。科学。 364，第2期，254-269（2006）.
本文包含Freyd-categories理论的发展（有限乘积范畴概念的微妙推广）和Freyd-catagories的各种应用示例，包括Moggi计算lambda-calculus中的建模效果。通过分解单子的Kleisli范畴的构造，对单子给出的计算效果进行了改进。
Freyd-categories的设置也可以适当扩展，以考虑递归和内在包含它的效果：偏爱、非决定论或概率非决定论。这是通过对一个范畴的扩充来实现的，该范畴在局部上可数地表示为笛卡尔闭范畴（这包括范畴的特征示例\（\omega{\mathcal C}po\）和\（{\mathcal P}oset\））。
审核人：弗拉基米尔·科门丹斯基（索菲亚·安蒂波利斯）

引用于1审查
引用于7文件

MSC公司：

18日第10天 单线、对称单线和编织线类别（MSC2010）
18甲15 基础、与逻辑和演绎系统的关系
18个C20 单体的Eilenberg-Moore和Kleisli构造
18 C50 形式语言的范畴语义
18个40 伴随函子（普遍结构、反射子范畴、Kan扩展等）
18A35型 允许极限的范畴（完备范畴），保持极限的函子，完备

关键词：

Freyd-类别;富集的Yoneda嵌入;圆锥共线完井;典型模型
PDF格式BibTeX公司 XML格式引用
\文本{J.Power}，Theor。计算。科学。364，第2号，254--269（2006；Zbl 1123.18005）
全文： 内政部

参考文献：

[1] 布莱克威尔，R。；Kelly，G.M。；Power，A.J.，二维单子理论，J.Pure Appl。代数，59，1-41（1989）·Zbl 0675.18006号
[2] Carboni，A。；Lack，S。；Walters，R.F.C.，《广泛和分布类别导论》，J.Pure Appl。代数，84，145-158（1993）·Zbl 0784.18001号
[3] 海兰德，M。；Plotkin，G.D。；Power，A.J.，《结合计算效果：可交换性和总和》（IFIP Conf.on Theory Computer Science（2002），Kluwer Academic Publishers：Kluwer-Academy Publishers Dordrecht），474-484
[4] 海兰德，M。；Plotkin，G.D。；Power，A.J.，《结合计算效果：总和和张量》，理论。计算。科学。，357, 70-99 (2006) ·Zbl 1096.68088号
[5] 我是G.B。；Kelly，G.M.，卷积单体结构的一个普遍性质，J.Pure Appl。代数，43，75-88（1986）·Zbl 0604.18004号
[6] Kelly，G.M.，《丰富范畴理论的基本概念》，伦敦数学学会讲座笔记系列，第64卷（1982），剑桥大学出版社：剑桥大学出版社·Zbl 0478.18005号
[7] Kelly，G.M.，《丰富背景下有限极限定义的结构》，Cah。白杨。地理。不同。类别。，23, 3-42 (1982) ·Zbl 0538.18006号
[8] Kinoshita，Y。；Power，A.J.，call-by-value语言中的数据重定义，（CSL程序，计算机科学讲稿，第1683卷（1999）），562-576·Zbl 0944.68034号
[9] 利维，P.B。；Power，A.J。；Thielecke，H.，用按调用值编程语言建模环境，Inform。和计算。，185, 182-210 (2003) ·兹比尔1069.68073
[10] Mac Lane，S.，《在职数学家的分类》（1971），施普林格：施普林格柏林·Zbl 0232.18001号
[11] Moggi，E.，《计算lambda-calculus和monad》（1989年《LICS汇编》，IEEE计算机学会出版社），14-23·Zbl 0716.03007号
[12] Moggi，E.，《计算和单数概念》，Inform。和计算。，93, 55-92 (1991) ·Zbl 0723.68073号
[13] Plotkin，G.D。；Power，A.J.，代数效应的充分性，（FOSSACS 2000 Proc.，计算机科学讲稿，第2030卷（2001）），1-24·Zbl 0986.68055号
[14] Plotkin，G.D。；Power，A.J.，《代数运算的语义》（MFPS Proc.of MFPS 2001，Electronic Notes in Theory Computer Science，Vol.45（2001））·Zbl 1260.68220号
[15] Plotkin，G.D。；Power，A.J.，计算的概念决定了monad，（2001年FOSSACS会议记录，计算机科学讲义，第2303卷（2002年）），342-356·Zbl 1077.68676号
[16] Plotkin，G.D。；Power，A.J.，《计算效果和运算：概述》（2002年《领域学报》，《理论计算机科学电子笔记》，第73卷（2002年））·Zbl 1273.68213号
[17] Plotkin，G.D。；Power，A.J.，代数运算和泛型效应，应用。类别。结构，11，69-94（2003）·Zbl 1023.18006号
[18] Plotkin，G.D。；Power，A.J.，《计算效果的逻辑》（IWFM 2003年公报，英国计算机学会计算机电子研讨会（2003年））
[19] Power，A.J.，《丰富的法律理论》，《理论应用》。类别。，6, 83-93 (1999) ·Zbl 0943.18003号
[20] Power，A.J.，计算（lambda）微积分模型，（MFCSIT 2000 Proc.，Electronic Notes in Theory Computer Science，Vol.40（2001））·Zbl 0677.18006号
[21] Power，A.J.，作为代数结构范畴的前单体范畴，Theoret。计算。科学。，278, 303-321 (2002) ·Zbl 1002.68089号
[22] Power，A.J.，计算效果高阶结构的通用嵌入，（TLCA 2003年公报，计算机科学讲稿，第2701卷（2003）），301-315·Zbl 1041.03010号
[23] Power，A.J.，计算效果的标准模型，（FOSSACS 2004 Proc.，计算机科学讲稿，第2987卷（2004）），438-452·Zbl 1126.68336号
[24] A.J.Power，《可数定律理论和计算效果》，摘自：Proc。MFCSIT 2004，《理论计算机科学电子笔记》，即将出版。；A.J.Power，《可数定律理论和计算效果》，摘自：Proc。MFCSIT 2004，理论计算机科学电子笔记，即将出版·Zbl 1276.68100号
[25] Power，A.J。；Robinson，E.P.，前单体范畴和计算概念，（LDPL 96程序，计算机科学中的数学结构，第7卷（1997）），453-468·Zbl 0897.18002号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。