μ-双完全类别和奇偶博弈
路易吉·桑托卡纳莱
RAIRO-理论信息学与应用(2010)
- 第36卷，第2期，第195-227页
- 国际标准编号：0988-3754
对于任意范畴，我们考虑最小类函子包含投影并在有限乘积下闭合，有限余积、参数化初始代数和参数化最终代数余代数，即可由定义的函子类μ-术语。如果每个μ项定义函子。我们提供了此类类别的具体示例显式刻画这类函子的范畴集合和函数。这一目标是通过平价游戏实现的：我们将每个游戏关联一个代数表达式，并将游戏转换为分类理论的一个术语。我们证明了μ项和奇偶性游戏是等价的，这意味着它们定义了μ-二完全。最后，解释一个平价游戏在集合的范畴中，被证明是确定性的集合选定玩家的获胜策略。
路易吉·桑托卡纳莱。“μ-双完整类别和对等游戏。”RAIRO-理论信息学与应用36.2 (2010): 195-227. <http://eudml.org/doc/92697>.
@第{Santocanale2010条，
抽象={对于任意范畴，我们考虑最小类函子包含投影并在有限乘积下闭合，有限余积、参数化初始代数和参数化最终代数余代数，即可由定义的函子类μ-术语。如果每个μ项定义函子。我们提供了此类类别的具体示例显式刻画这类函子的范畴集合和函数。这一目标是通过平价游戏实现的：我们将每个游戏关联一个代数表达式，并将游戏转换为范畴理论的一个术语。我们证明了μ项和奇偶性游戏是等价的，这意味着它们定义的属性与μ-二完全。最后，解释一个平价游戏在集合的范畴中，被证明是确定性的集合选定玩家的获胜策略。},
author={Santocanale，Luigi}，
journal={RAIRO-理论信息学与应用}，
关键词={奇偶博弈；双完备范畴；初始代数；最终余代数；感应型和共感应型。；初始代数；最终余代数；双完备范畴；平价博弈；归纳型和共归纳型}，
语言={eng}，
月份＝{3}，
数字={2}，
页数={195-227}，
publisher={EDP Sciences}，
title={μ-双完全类别和奇偶博弈}，
url={http://eudml.org/doc/92697},
体积={36}，
年份={2010}，
}
TY-JOUR公司
AU-圣多卡纳莱，路易吉
TI-μ-双完备类别与奇偶博弈
JO-RAIRO-理论信息学与应用
陆军部-2010/3//
PB-EDP科学
VL-36
为-2
SP-195
EP-227
AB-公司对于任意范畴，我们考虑最小类函子包含投影并在有限乘积下闭合，有限余积、参数化初始代数和参数化最终代数余代数，即可由定义的函子类μ-术语。如果每个μ项定义函子。我们提供了此类类别的具体示例显式刻画这类函子的范畴集合和函数。这一目标是通过平价游戏实现的：我们将每个游戏关联一个代数表达式，并将游戏转换为范畴理论的一个术语。我们证明了μ项和奇偶性游戏是等价的，这意味着它们定义的属性与μ-二完全。最后，解释一个平价游戏在集合的范畴中，被证明是确定性的集合选定玩家的获胜策略。
洛杉矶-eng
KW-奇偶校验游戏；双完备范畴；初始代数；最终余代数；感应型和共感应型。；初始代数；最终煤化；双完备范畴；平价博弈；归纳型和共归纳型
UR-（欧元）http://eudml.org/doc/92697
急诊室-
- P.Aczel，非西方基金会。斯坦福大学语言与信息研究中心，加利福尼亚州斯坦福市（1988年）。
- P.Aczel、J.Adámek和J.Velebil，无限树和迭代的联合视图，M.L.A.Corradini和U.Montanari编辑。爱思唯尔科学出版社，电子版。理论注释。计算。科学。44 (2001).
- J.Adámek和V.Koubek，函子的最小不动点。J.计算。《系统科学》19（1979）163-178。
- J.Adámek和J.Rosickí，本地可展示和可访问类别。剑桥大学出版社，剑桥（1994）。
- A.Arnold和D.Niwinski，微积分基础。Elsevier，North-Holland，Stud.Logic Found出版社。数学。146 (2001).
- M.Barr，基础完备集理论中的终端余代数。理论。计算。《科学》114（1993）299-315。
- S.L.Bloom和Z.Esik，迭代理论。施普林格·弗拉格，柏林（1993年）。迭代过程的等式逻辑。
- S.L.Bloom、Z.Esik、A.Labella和E.G.Manes，《迭代2理论》。申请。类别。《结构》9（2001）173-216。
- J.R.B.Cockett和D.Spencer，强分类数据类型。一、 《范畴理论》1991（蒙特利尔，PQ，1991）。普罗维登斯，RI，阿默尔。数学。Soc.（1992）141-169。
- J.R.B.Cockett和D.Spencer，强分类数据类型。二、。分类编程的术语逻辑。理论。计算。科学.139（1995）69-113。
- R.Cockett和T.Fukushima，关于慈善，黄色系列报告第92/480/18号。卡尔加里大学计算机科学系（1992年）。
- E.A.Emerson和C.S.Jutla，树自动机、微积分和确定性（扩展摘要），第32届计算机科学基础年度研讨会。IEEE（1991）368-377。
- E.A.Emerson、C.S.Jutla和A.P.Sistla，关于微积分及其碎片的模型检查。理论。计算。Sci.258（2001）491-522。
- Z.Esik和A.Labella，代数完备范畴中迭代的等式性质。理论。计算。Sci.195（1998）61-89。计算机科学数学基础，克拉科夫（1996）。
- P.Freyd，《代数完备范畴》，收录于范畴理论（Como，1990）。柏林施普林格（1991）95-104。
- E.Giménez，Coq中递归类型的教程。技术报告0221，INRIA（1998）。
- J.M.E.Hyland，《有效地形》，载于《L.E.J.Brouwer百年纪念研讨会》（Noordwijkerhout，1981年）。阿姆斯特丹霍兰德北部（1982）165-216。
- A.Joyal、Free双完整类别。C.R.数学。学术代表。科学。加拿大17（1995）219-224。
- A.乔亚尔（Joyal），《自由格、沟通与金钱游戏》（Free lattices，communication and money games），收录于《逻辑与科学方法》（Florence，1995）。Kluwer学院。出版物。，多德雷赫特（1997）29-68。
- G.M.Kelly，关于2类极限的初步观察。牛市。南方的。数学。Soc.39（1989）301-317。
- J.Lambek，完备范畴的不动点定理。数学。Z.103（1968）151-161。
- D.J.Lehmann和M.B.Smyth，数据类型的代数规范：综合方法。数学。系统理论14（1981）97-139。
- M.Makkai和R.Paré，可及范畴：范畴模型理论的基础。美国数学学会，普罗维登斯，RI（1989）。
- R.McNaughton，有限图上的无限游戏。Ann.纯粹应用。《逻辑学》65（1993）149-184。
- A.W.Mostowski，《无限树的正则表达式和自动机的标准形式》，载于《计算理论》（ZaboróW，1984）。柏林施普林格，计算机课堂讲稿。科学。208 (1985) 157-168.
- D.Niwinski，等式微积分，计算理论（Zaborów，1984）。柏林施普林格，计算机课堂讲稿。科学。208 (1985) 169-176.
- C.Reutenauer，合奏乐团。牛市。社会数学。弗朗西斯114（1986）135-152。
- J.J.M.M.Rutten，《宇宙余代数：系统理论》。理论。计算。科学249（2000）3-80。
- L.Santocanale，µ-格理论的交替层次。理论应用。类别9（2002）166-197。《类别理论2000年会议》（CT2000）特刊。
- L.Santocanale，循环证明的微积分及其范畴语义，载于FOSSACS02，软件科学和计算结构基础。Springer-Verlag，讲义计算。科学。2303 (2002) 357-371.
- L.Santocanale，游离µ-晶格。J.纯应用。阿尔及利亚168（2002）227-264。类别理论1999（Coimbra）。
- A.K.Simpson和G.D.Plotkin，范畴不动点算子的完备公理，收录于Proc。第十五届计算机科学逻辑年会（2000）30-41。
- 由G.Rozenberg和A.Salomaa编辑的W.Thomas，《语言、自动机和逻辑》。Springer-Verlag，纽约，《形式语言理论手册III》（1996年）。
- Walukiewicz，下推过程：游戏和模型检查。通知。和计算164（2001）234-263。FLOC’96（新泽西州新不伦瑞克）。
- W.Zielonka，有限色图上的无限游戏与无限树上自动机的应用。理论。计算。科学.200（1998）135-183。
要在页面上嵌入这些注释，请在希望注释出现的页面上包含以下JavaScript代码。
