×
亚历山大·库兹;吉·维勒比尔

关系解除，一项调查。 （英语） Zbl 1344.68167号

J.日志。阿尔盖布。方法计划。 85，第4号，475-499（2016）.
摘要：我们综述了范畴理论和余代数中关于如何将函子从映射扩展到关系的工作。这种关系提升具有一个普适性，本文对此进行了详细介绍，并指导我们将其推广到单调关系和多值关系。作为应用，它展示了互模拟、模拟和模态逻辑的不同概念是如何产生的。

引用于13文件

MSC公司：

68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）
03B45号 模态逻辑（包括规范逻辑）
03G30型 分类逻辑，拓扑
18A40型 伴随函子（泛结构、反射子范畴、Kan扩张等）
68问题65 抽象数据类型；代数规范

关键词：

联合布拉格;关系提升;互模拟;余代数逻辑
PDF格式BibTeX公司 XML格式引用
\textit{A.Kurz}和\textit{J.Velebil}，J.Log。阿尔盖布。方法计划。85，第4号，475--499（2016；Zbl 1344.68167）
全文： 内政部

参考文献：

[1] Abramsky，S。；Jensen，T.P.，高阶多态函数严格性分析的关系方法，（POPL（1991）），49-54
[2] Abramsky，S。；Jung，A.，领域理论（计算机科学逻辑手册（1994），OUP）
[3] Aczel，P.，《非Well-Founded Sets》（1988年），CSLI:CSLI斯坦福·Zbl 0668.04001号
[4] Aczel，P。；Mendler，N.P.，《最后的余代数定理》（范畴理论和计算机科学，范畴理论与计算机科学，LNCS，第389卷（1989））·Zbl 1496.03206号
[5] Adámek，J。；米利厄斯，S。；Velebil，J.，《基于类的余代数》，Theor。计算。科学。，316, 1, 3-23 (2004) ·Zbl 1047.18005号
[6] Adámek，J。；米利厄斯，S。；Velebil，J.，一个一般的最终余代数定理，数学。结构。计算。科学。，2009年3月15日至432日（2005年）·Zbl 1080.18004号
[7] Adámek，J。；Trnková，V.，《范畴中的自动机和代数》（1990），Kluwer·兹比尔0698.18001
[8] Backhouse，R.C。；Hoogendijk，P.F.，《数据类型关系理论的要素》（Formal Program Development-IFIP TC2/WG 2.1 State-of-the-Art Report（1993）），7-42
[9] 巴兰，A。；A.库尔兹。；Velebil，J.，《代数逻辑的正片段》，日志。方法计算。科学。，11，3:18，1-51（2014年），CoRR·Zbl 1394.03035号
[10] Barr，M.，关系代数，（《中西部类别研讨会报告IV》，中西部类别研讨会的报告IV，数学课堂讲稿，第137卷（1970）），39-55·Zbl 0204.33202号
[11] Barr，M.，《建立良好的集合论中的终端余代数》，Theor。计算。科学。，114, 2, 299-315 (1993) ·Zbl 0779.18004号
[12] 巴希尔，R.E。；Velebil，J.，《预升的同时反射和共反射子类别》，《理论应用》。类别。，10, 410-423 (2002) ·Zbl 1035.18005号
[13] Beck，J.，《分配定律》（Eckmann，B.；Tierney，M.，《三元组和范畴同调理论研讨会》，《三元组和范畴同调理论研讨会，数学课堂讲稿》，第80卷（1969年），Springer），也可作为TAC再版获得·Zbl 0186.02902号
[14] 比尔科娃，M。；A.库尔兹。；彼得里桑，D。；Velebil，J.，《关于预订单和偏序集的关系提升》（CALCO（2011）），第115-129页，另见·Zbl 1343.18003号
[15] 比尔科娃，M。；A.库尔兹。；彼得里桑，D。；Velebil，J.，关系提升，以及多值封面形式的应用，Log。方法计算。科学。，9, 1-48 (2013) ·Zbl 1287.18008号
[16] Bonchi，F。；彼得里桑，D。；Pous，D。；Rot，J.，《在腓肠肌背景下的Coinduction up-to》（CSL-LICS（2014）），第20页·Zbl 1395.68195号
[17] Carboni，A。；凯利·G。；Wood，R.，《基础形态和几何形态变化的双范畴方法I》，Cah。白杨。盖姆。差异。猫。，31, 4, 47-95 (1991) ·Zbl 0747.18008号
[18] Cìrstea，C。；A.库尔兹。；帕丁森博士。；施罗德，L。；Venema，Y.，模态逻辑是联合逻辑，计算。J.，54，1，31-41（2011）
[19] 弗雷德·P。；Scedrov，A.，《类别，寓言》（1990），北荷兰人·Zbl 0698.18002号
[20] 吉他，R.，《关系与精确》，安·科学。数学。魁北克。，四、 2103-125（1980）·Zbl 0495.18008号
[21] 哈索，I。；雅各布斯，B。；Sokolova，A.，《通过共创实现通用跟踪语义》，Log。方法计算。科学。，3, 4 (2007) ·Zbl 1131.68058号
[22] Hermida，C.，《关系模式和模拟的分类展望》，Inf.Comput。，209, 12, 1505-1517 (2011) ·Zbl 1248.03084号
[23] 赫尔米达，C。；雅各布斯，B.，《纤维背景下的结构归纳和共聚》，《信息计算》。，145, 2, 107-152 (1998) ·Zbl 0941.18006号
[24] 赫尔米达，C。；美国雷迪。；罗宾逊，E.P.，《逻辑关系和参数——范畴理论和编程语言的雷诺程序》，电子。注释Theor。计算。科学。，303, 149-180 (2014) ·Zbl 1337.68052号
[25] 休斯，J。；Jacobs，B.，《余代数模拟》，Theor。计算。科学。，327 (2004) ·Zbl 1071.68077号
[26] Jung，A。；凯格曼，M。；Moshier，M.A.，Stably紧空间和闭关系，电子。注释Theor。计算。科学。，45, 209-231 (2001) ·Zbl 1260.18002号
[27] Jung，A。；Sünderhauf，P.，《论紧凑与开放的二重性》（Andima，S.；Flagg，R.C.；Itzkowitz，G.；Misra，P.；Kong，Y。；Kopperman，R.，《关于一般拓扑和应用的论文：南缅因大学第十一届夏季会议》。《关于一般拓扑和应用的论文：南缅因大学第十一届夏季会议》，《纽约科学院年鉴》，第806卷（1996年），214-230·Zbl 0885.54001号
[28] Y.川原。；Furusawa，H.，模糊关系的代数形式化，模糊集系统。，101125-135（1999年1月）·Zbl 0934.03068号
[29] Kegelmann，M.，逻辑形式的连续域，电子。注释Theor。计算。科学。，49，1-166（2002年）·Zbl 1080.03043号
[30] Kelly，M.，《丰富范畴理论的基本概念》，《数学讲义》，第64卷（1982年），剑桥大学出版社，也可作为TAC再版获得·兹比尔0478.18005
[31] Kleisli，H.，每个标准结构都是由一对伴随函子诱导的，Proc。美国数学。《社会学杂志》，16，3，544-546（1965）·Zbl 0138.01704号
[32] Klin，B.，《针对良好操作语义的过程等价的抽象聚合方法》（2004），奥胡斯大学博士论文
[33] 库普克，C。；A.库尔兹。；Venema，Y.，Colegebraic覆盖形式的完整性，Log。方法计算。科学。，8, 3 (2012) ·Zbl 1261.18006号
[34] 库普克，C。；帕丁森，D.，《模态逻辑的协同语义：概述》，Theor。计算。科学。，412, 38, 5070-5094 (2011) ·Zbl 1360.03068号
[35] Lawvere，F.，度量空间，广义逻辑和闭范畴，Rend。塞米恩。材料Fis。米兰，XLIII（1973），也可作为TAC再版·Zbl 0335.18006号
[36] Levy，P.B.，作为最终余代数的相似商，（FOSSACS（2011）），27-41·Zbl 1326.68193号
[37] Mac Lane，S.，《工作数学家的范畴理论》（1971），斯普林格·Zbl 0232.18001号
[38] Manes，E.，代数理论（1976），Springer-Verlag·Zbl 0353.18007号
[39] Marti，J。；Venema，Y.，余代数函子及其逻辑的Lax扩张，J.Compute。系统。科学。，81, 5, 880-900 (2015) ·Zbl 1328.03061号
[40] Moss，L.，Coalgebraic逻辑，Ann.Pure Appl。逻辑，96，277-317（1999）·Zbl 0969.03026号
[41] Moss，L.S.，Coalgebraic逻辑，Ann.Pure Appl。逻辑，96，1-3，277-317（1999）·Zbl 0969.03026号
[42] Popescu，A.，多值关系代数的一些代数理论，代数大学。，53211-235（2007年）·Zbl 1118.03061号
[43] 鲍尔，J。；Turi，D.，《线性时间语义的联合基础》，《计算机科学中的联合代数方法》。计算机科学中的代数方法，CMCS 1999。计算机科学中的协同代数方法。计算机科学中的协同代数方法，CMCS 1999，电子。注释Theor。计算。科学。，2925-274（1999年）·Zbl 0967.68102号
[44] Rutten，J.，《继电器和度量互模拟》，电子。注释Theor。计算。科学。，11, 252-258 (1998) ·Zbl 0917.68146号
[45] Rutten，J.，《宇宙余代数：系统理论》，Theor。计算。科学。，249, 3-80 (2000) ·Zbl 0951.68038号
[46] Sangiorgi，D.，《关于互模拟和共归纳的起源》，ACM Trans。程序。语言系统。，31, 4 (2009)
[47] Schmidt，G.，《关系数学》，《数学及其应用百科全书》，第132卷（2011年），剑桥大学出版社·Zbl 1214.06001号
[48] 施密特，G。；Ströhlein，T.，《关系和图-计算机科学家的离散数学》，EATCS理论计算机科学专著（1993），斯普林格·Zbl 0900.68328号
[49] Smyth，M.，稳定紧化I，J.Lond。数学。Soc.，45（1992）·Zbl 0760.54018号
[50] Staton，S.，《相互模拟的相关联代数概念》，Log。方法计算。科学。，7, 1 (2011) ·Zbl 1247.68192号
[51] Street，R.，《单子的形式理论》，J.Pure Appl。代数，2,2149-168（1972）·Zbl 0241.18003号
[52] Thijs，A.，《模拟和定点语义》（1996），Springer:Springer-Groningen，博士论文·Zbl 0944.68192号
[53] Trnková，V.，关系自动机的一般理论，Fundam。通知。，3, 2, 189-234 (1980) ·Zbl 0453.68022号
[54] Winskel，G.，《关于权力领域和形态的注释》，Theor。计算。科学。，36 (1985) ·Zbl 0579.68018号
[55] Winter，M.，箭头类别，模糊集系统。，160，20，2893-2909（2009），主题：数学·兹比尔1178.18002
[56] Worrell，J.，《递归数据类型的共同归纳：偏序、度量空间和欧米伽范畴》，Electron。注释Theor。计算。科学。，33, 337-356 (2000) ·兹比尔0963.18003
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。