×
Koki西泽;权力，约翰

劳弗尔理论在一般基础上得到了丰富。 （英语） Zbl 1158.18003号

J.纯应用。代数 213，第3期，377-386（2009）.
J.电力【理论应用分类6，83–93（1999；Zbl 0943.18003号)]将Lawvere理论与（mathbf{Set}）上的有限单子之间的对应推广为（{mathcal V}）丰富的Lawvere理论与基范畴（mathcal V）上的限定单子之间。本文将这一点进一步扩展到局部有限可表示的\（｛\mathcal V｝\）-范畴\（｛\mathcal a｝\）上的\（｛\mathcal V｝\）-富集单元（\（｛\mathcal V｝\）局部有限可表示为单元闭范畴）。相应的理论称为Lawvere（{mathcal A}）理论。
从引言和摘要来看：“不明显的是如何定义Lawvere（{mathcal A}）理论的概念。[……]我们用笛卡尔闭范畴的Lawvere\（mathbf{Cat}）-理论的例子来说明这一点，即关于范畴的（mathbf{Cat}）丰富理论其中模型都是小笛卡尔闭范畴。我们还简要调查了变化基础。”
审核人：米歇尔·赫伯特（开罗）

引用于2评论
引用于16文件

理学硕士：

18立方厘米 理论（例如代数理论）、结构和语义
18日99 分类结构
18立方厘米 单子（=标准结构，三元组或三元组），单子代数，单子的同调函子和派生函子
18个C20 单体的Eilenberg-Moore和Kleisli构造
08A99号 代数结构

关键词：

劳弗尔理论;富集单子;丰富的理论

引文：

Zbl 0943.18003号
PDF格式BibTeX公司 XML格式引用
\textit{K.Nishizawa}和\textit{J.Power}，J.Pure Appl。代数213，第3期，377--386（2009；Zbl 1158.18003）
全文： 内政部 链接

参考文献：

[1] 迈克尔·巴尔（Michael Barr）；查尔斯·威尔斯（Topose，Triples and Theorys.Topose、Triples和Theorys，Grundlagen der Mathematischen Wissenschaften，vol.278（1985），《施普林格-弗拉格：柏林施普林格》）·Zbl 0567.18001号
[2] 迈克尔·巴尔（Michael Barr）；查尔斯·威尔斯（Charles Wells），《计算科学的范畴理论》（1999），少版出版物CRM·Zbl 1253.18001号
[3] 布莱克威尔，R。；凯利，G.M。；Power，A.J.，二维单子理论，《纯粹与应用代数杂志》，59，1-41（1989）·Zbl 0675.18006号
[4] 塞缪尔·艾伦伯格；Max Kelly，G.，《封闭范畴》（Eilenberg，S.；Harrison，D.K.；MacLane，S.）；Röhrl，H.，《范畴代数会议论文集》，La Jolla，1965（1965），Springer-Verlag），421-562·Zbl 0192.10604号
[5] Neil Ghani；吕斯，克里斯托夫；马奇，马奇；Power，John，代数，余代数，单子和余代数，（第四届Wksh会议论文《计算机科学中的余代数方法》，第四届Wksh会议文献《计算机科学中余代数方法研究》，CMCS'01，意大利热那瓦，2001年4月6-7日。程序。第4周。计算机科学中的协同代数方法。程序。第4周。关于计算机科学中的代数方法，CMCS'01，意大利热那亚，2001年4月6-7日，理论计算机科学电子笔记，第44卷（1）（2001），爱思唯尔：爱思唯尔阿姆斯特丹）·Zbl 1260.68238号
[6] 马丁·海兰德（Martin Hyland）；戈登·普洛金（Gordon Plotkin）；Power，John，《结合计算效果：交换性和总和》，（第17届IFIP世界计算机大会议事录，TC1 Stream/2nd IFIP Int.Conf.on Theory Computer Science，第17届国际计算机大会议事稿，TC1流/2nd IFIP Int.Conv.on Theoretical Computer Science，TCS2002，Montréal，Que.，Canada，25-30）。程序。第17届IFIP世界计算机大会，TC1流/第二届IFIP理论计算机科学国际会议。程序。第17届IFIP世界计算机大会，TC1流/第二届IFIP理论计算机科学国际会议，2002年TCS，加拿大魁北克省蒙特利尔，2002年8月25日至30日，IFIP会议程序。，第223卷（2002），Kluwer Academic Publishers：克卢韦尔学术出版社（Dordrecht），474-484·Zbl 1096.68088号
[7] Kelly，G.M.，《丰富背景下有限极限定义的结构》1，Cahiers de Top et Geom Differentielle，23，3-42（1980）·兹伯利0538.18006
[8] Kelly，G.M.，（丰富范畴理论的基本概念。丰富范畴理论基本概念，伦敦数学学会讲义系列，第64卷（1982），剑桥大学出版社）·Zbl 0478.18005号
[9] Kelly，G.M。；Power，A.J.，其共轭元是余等式的伴随词，以及有限富足单子的表示，《纯粹与应用代数杂志》，89，163-179（1993）·Zbl 0779.18003号
[10] Kinoshita，Y。；Power，J.，《通过充实来放松自然》，《纯粹与应用代数杂志》，第112期，第53-72页（1996年）·Zbl 0856.18003号
[11] 吉木敬之；约翰·鲍尔（John Power），总体完整性导致精细化（WADT'99）。WADT'99，LNCS，第1827卷（2000），斯普林格出版社）·Zbl 0966.68117号
[12] 吉木敬之；权力，约翰；Takayama，Makoto，Sketches，（Brookes，S.；Mislove，M.，理论计算机科学电子笔记，第6卷（2000年），爱思唯尔）·Zbl 0911.68126号
[13] Lawvere，F.W.，代数理论的函数语义，美国国家科学院学报，50869-873（1963）·Zbl 0119.25901号
[14] Linton，F.E.J.，方程理论的某些方面，（Eilenberg，S.；Harrison，D.K.；MacLane，S.，Röhrl，H.，《范畴代数会议论文集》，《范畴代数学会议论文集，La Jolla，1965（1965），Springer-Verlag），84-94·Zbl 0201.35003号
[15] Moggi，E.，计算lambda-calculus和monad，（1989年计算机科学逻辑会议论文集（1989），IEEE出版社），14-29·Zbl 0716.03007号
[16] Moggi，E.，《计算与单数概念，信息与计算》，93，1（1991）·Zbl 0723.68073号
[17] 戈登·普洛金（Gordon Plotkin）；Power，John，代数效应的充分性，（第四届国际软件科学和计算结构基础大会议事录，第四届软件科学和计算机结构基础国际会议议事录，FoSSaCS 2001，Genova，意大利，2001年4月2-6日。程序。第四届软件科学和计算结构基础国际会议。程序。第四届软件科学与计算结构基础国际会议，FoSSaCS 2001，意大利热那亚，2001年4月2日至6日，《计算机科学讲义》，第2030卷（2001年），施普林格出版社：施普林格出版社，柏林），1-24·Zbl 0986.68055号
[18] 戈登·普洛金（Gordon Plotkin）；Power，John，《代数运算的语义》，（第17届编程语义学数学发现会议的议事录，第17届程序语义学的数学发现会议议事录，MFPS 2001，丹麦奥胡斯，2001年5月23日至26日。程序。第17届数学大会。已找到。编程语义。程序。第17届数学大会。已找到。《编程语义学》，MFPS 2001，丹麦奥胡斯，2001年5月23日至26日，《理论计算机科学电子笔记》，第45卷（2001），爱思唯尔出版社：阿姆斯特丹）·Zbl 1260.68220号
[19] 戈登·普洛金（Gordon Plotkin）；Power，John，计算效果的逻辑（正在进行的工作），（第六届国际Wksh关于形式方法的会议记录。第六届国际Wksh关于形式方法的会议记录，IWFM 2003，爱尔兰都柏林城市大学，2003年7月11日。程序。第六国际工程公司。形式方法。程序。第六国际工程公司。《形式方法》，IWFM 2003，爱尔兰都柏林城市大学，2003年7月11日，《计算电子研讨会》（2003），英国计算机学会·Zbl 1273.68213号
[20] Gordon D.Plotkin，John Power，《计算概念决定单子数》，载于：软件科学和计算结构基础，FOSSACS，载于《计算机科学讲义》，第2620卷，柏林，海德堡，纽约，2002年，第342-356页；Gordon D.Plotkin，John Power，《计算的概念决定单子》，载于：软件科学和计算结构基础，FOSSACS，载于《计算机科学讲义》，第2620卷，柏林，海德堡，纽约，2002年，第342-356页·Zbl 1077.68676号
[21] 约翰·鲍尔（John Power），《丰富的Lawvere理论，范畴的理论和应用》，6，7，83-93（1999）·Zbl 0943.18003号
[22] Robinson，E.P.，《代数上的变化：方程理论的单纯性和推广》，《计算的形式方面》，13，308-326（2002）·Zbl 1004.18005号
[23] 街道，R.H。；Walters，R.F.C.，《两类上的Yoneda结构》，《代数杂志》，50，350-379（1978）·兹比尔0401.18004
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。