马丁·海兰德;权力，约翰 离散Lawvere理论和计算效果。 （英语） Zbl 1112.18006号 西奥。计算。科学。 366，编号1-2，144-162（2006）. Lawvere理论是泛代数的一种理论形式，其运算概念是原始的。可数Lawvere理论允许根据和、张量和分配张量对几种计算效果进行建模。类别的丰富允许扩展可建模的计算效果类型。对于可数Lawvere理论，和和和张量扩展到了丰富的形式，而分配张量则没有。在本文中，作者修改了丰富的Lawvere理论的概念，引入了离散的Lawverse理论，从而有可能合并分配张量的丰富说明。审核人：Manuel Ojeda Aciego（马拉加） 引用于12文件 MSC公司： 18立方厘米 理论（例如代数理论）、结构和语义 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 18日99 分类结构 关键词：可数Lawvere V理论;离散Lawvere V理论;模型;总和;张量;分配张量;形象 PDF格式BibTeX公司 XML格式引用 \textit｛M.Hyland｝和\textit｛J.Power｝，Theor。计算。科学。366，编号1-2144-162（2006年；Zbl 1112.18006） 全文： 内政部 参考文献： [1] Adámek，J。；罗西克？，J.，《本地可呈现和可访问类别》，（伦敦数学学会讲座笔记系列，第189卷（1994），剑桥大学出版社：剑桥大学出版社）·Zbl 0795.18007号 [2] 巴尔，M。；Wells，C.，《拓扑、三元组和理论》（1985），《施普林格：施普林格-柏林》·Zbl 0567.18001号 [3] 巴尔，M。；Wells，C.，《计算科学的范畴理论》（1990），普伦蒂斯·霍尔：普伦蒂斯霍尔·恩格尔伍德·克利夫斯，新泽西州·Zbl 0714.18001号 [4] 布莱克威尔，R。；梅勒妮，G.M。；Power，A.J.，二维单子理论，J.Pure Appl。代数，59，1-41（1989）·Zbl 0675.18006号 [5] N.Ghani，C.Lüth，《单数和模项重写》，收录于：Proc。CTCS’97，《计算机科学讲义》，第1290卷，施普林格，柏林，1997年，第69-86页。；N.Ghani，C.Lüth，《单数和模项重写》，收录于：Proc。CTCS’97，《计算机科学讲义》，第1290卷，施普林格，柏林，1997年，第69-86页·Zbl 0889.68084号 [6] R.Heckmann，概率域，收录于：Proc。CAAP’94，《计算机科学讲义》，第136卷，施普林格，柏林，1994年，第21-56页。；R.Heckmann，概率域，收录于：Proc。CAAP’94，《计算机科学讲义》，第136卷，柏林斯普林格出版社，1994年，第21-56页·Zbl 0874.68184号 [7] Hennessy，M.C.B.，《过程代数理论》（1988），麻省理工学院出版社：麻省理学院出版社剑桥·Zbl 0437.68002号 [8] 轩尼诗，M.C.B。；Plotkin，G.D.，简单并行编程语言的完全抽象，（Becvar，J.，Proc.MFCS’79，计算机科学讲义，第74卷（1979），Springer:Springer-Berlin），108-120·Zbl 0457.68006号 [9] Hyland，医学博士。；Plotkin，G.D。；Power，A.J.，《结合计算效果：可交换性和和》（Baeza-Yates，R.A.；Montanari，U.；Santoro，N.，Proc.Second IFIP Conf.on Theory Computer Science（2002），Kluwer:Kluwer-Dordrecht），474-484 [10] 海兰德，J.M.E。；Plotkin，G.D。；Power，A.J.，《组合效应：和和张量》，理论。计算。科学。，357, 70-99 (2006) ·兹比尔1096.68088 [11] Hyland，医学博士。；Power，A.J.，伪交换单子和伪闭2范畴，J.Pure Appl。代数，175141-185（2002）·Zbl 1009.18003号 [12] M.Hyland，P.Levy，G.D.Plotkin，A.J.Power，《将延续与其他效果结合起来》，提交出版。；M.Hyland，P.Levy，G.D.Plotkin，A.J.Power，《将延续与其他效果相结合》，提交出版·Zbl 1111.68067号 [13] C.Jones，概率非决定论，爱丁堡大学博士论文，ECS-LFCS-90-1051990年报告。；C.Jones，概率非决定论，爱丁堡大学博士论文，ECS-LFCS-90-1051990年报告。 [14] 琼斯，C。；Plotkin，G.D.，《评估的概率功率域》（Proc.LICS’89（1989），IEEE出版社：IEEE Press Silver Spring，MD），186-195年·Zbl 0716.06003号 [15] Kelly，G.M.，《自由代数、自由幺半群、共线、相关滑轮等超限结构的统一处理》，Bull。南方的。数学。Soc.，22，1-83（1980）·Zbl 0437.18004号 [16] Kelly，G.M.，《丰富范畴理论的基本概念》（1982），剑桥大学出版社：剑桥大学出版社·Zbl 0478.18005号 [17] Kelly，G.M.，《丰富背景下有限极限定义的结构》I，Cahiers Topol。盖奥梅特里·迪芬特（Géométrie Différentielle），23，1，3-42（1982）·Zbl 0538.18006号 [18] Kelly，G.M。；Lack，S.，Finite-product-preserving函子，Kan扩展和强实数单子，Appl。分类结构。，1, 84-94 (1993) ·Zbl 0787.18007号 [19] Kelly，G.M。；Power，A.J.，counits为余等式的伴随词，以及有限丰富单子的表示，J.Pure Appl。代数，89，163-179（1993）·Zbl 0779.18003号 [20] Kinoshita，Y。；Power，A.J。；竹山，M.，素描，J.Pure Appl。代数，143275-291（1999）·Zbl 0943.18002号 [21] Kock，A.，对称单体闭范畴上的单数，Arch。数学。，21, 1-10 (1970) ·Zbl 0196.03403号 [22] Meseguer，J.，链完备代数的种类，J.Pure Appl。代数，19347-383（1980）·兹比尔0445.18008 [23] Mislove，M.W.，《非决定论与概率选择：遵守规律》，（Palamidessi，C.，Proc.CONCUR 2000，《计算机科学讲义》，第1877卷（2000年），施普林格：施普林格柏林），350-364·Zbl 0999.68147号 [24] Moggi，E.，《计算lambda-calculus和monad》，（《89年LICS汇编》（1989），IEEE出版社：IEEE出版社，马里兰州银泉出版社），14-23·Zbl 0716.03007号 [25] Moggi，E.，《计算和单数概念》，Inform。和计算。，93, 1, 55-92 (1991) ·Zbl 0723.68073号 [26] Plotkin，G.D.，《功率域结构》，SIAM J.Compute。，5, 3, 452-487 (1976) ·Zbl 0355.68015号 [27] G.D.Plotkin，域，URL:\（\langle；\）http://www.dcs.ed.ac.uk/home/gdp1983年。；G.D.Plotkin，域，URL:\（\langle；\）http://www.dcs.ed.ac.uk/home/gdp1983年。 [28] Plotkin，G.D。；Power，A.J.，代数效应的充分性，（Honsell，F.；Miculan，M.，Proc.FOSSACS 2001，计算机科学讲稿，第2030卷（2001），Springer:Springer-Berlin），1-24·Zbl 0986.68055号 [29] Plotkin，G.D。；Power，A.J.，《代数运算的语义扩展抽象》（Brookes，S.；Mislove，M.，Proc.MFPS XVII，理论计算机科学电子笔记，第45卷（2001），Elsevier:Elsevier Amsterdam） [30] Plotkin，G.D。；Power，A.J.，《计算概念决定单子》（Nielsen，M.；Engberg，U.，Proc.FOSSACS’02，计算机科学讲义，第2303卷（2002），Springer:Springer-Berlin），342-356·Zbl 1077.68676号 [31] Power，A.J.，Why tricategories，Inform。和计算。，120, 251-262 (1995) ·Zbl 0829.18003号 [32] Power，A.J.，《丰富的法律理论》，《理论应用》。类别，683-93（2000）·Zbl 0943.18003号 [33] A.J.Power，计算效应的规范模型，载于：Proc。FOSSACS 2004，《计算机科学讲义》，第2987卷，施普林格，柏林，2004年，第438-452页。；A.J.Power，计算效果的标准模型，in：Proc。FOSSACS 2004，《计算机科学讲义》，第2987卷，施普林格，柏林，2004年，第438-452页·Zbl 1126.68336号 [34] A.J.Power，《离散Lawvere理论》，摘自：Proc。CALCO 2005，计算机科学课堂讲稿，第3629卷，施普林格，柏林，2005，第348-363页。；A.J.Power，离散Lawvere理论，载于：Proc。CALCO 2005，《计算机科学讲义》，第3629卷，施普林格，柏林，2005年，第348-363页·Zbl 1151.18002号 [35] R.Tix，《连续D-锥：凸性和幂域构造》，达姆施塔特科技大学博士论文，1999年。；R.Tix，《连续D-锥：凸性和幂域构造》，达姆施塔特科技大学博士论文，1999年·Zbl 0998.68533号 [36] 蒂克斯·R。；Keimel，K。；Plotkin，G.，概率论和非确定性结合的语义域，电子。注释定理。计算。科学。，129, 1-104 (2005) ·Zbl 1271.68004号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。