A.奥利基。 部分枚举集上的二元关系的概念。 （英语） Zbl 0795.03061号 代数逻辑 31187-194年第3期（1992年）《代数逻辑》31，第3期，第306-318页（1992年）。 在早期的一篇论文中，作者Z.Math.Logik Grundlagen Math.34，No.3，265-276（1988；兹伯利0657.03026)]. 在本文中，我们分析了扩展部分枚举集概念的可能性。为此，我们在上述文件导言中概述的一般方法框架内开展工作。在第一部分中，我们考虑一些称为“幂集单子提升”的单子类。单体用作描述此处研究的关系的工具。在第二节中，我们讨论了部分枚举集上关系的可能的自然定义。除了适当单子的Kleisli范畴所描述的关系（称为“T关系”）之外，我们还引入了所谓的“准关系”。后一类不能用“一元机械”来描述。 MSC公司： 03D45号 计算理论，有效呈现结构 18立方厘米20 单体的Eilenberg-Moore和Kleisli构造 18B99型 特殊类别 关键词：二元关系;动力装置单体升降机;准重释;部分枚举集;Kleisli类别 引文：Zbl 0657.03026号 PDF格式BibTeX公司 XML格式引用 \textit{A.Orlicki}，代数逻辑31，第3期，第1期（1992；Zbl 0795.03061） 全文： 内政部 欧洲DML 参考文献： [1] A.Orlicki，“枚举集范畴上的二元关系”，Z。数学。Logik Grundlagen数学。，第34期，265–276页（1988年）·Zbl 0657.03026号 [2] A.Orlicki，“关于部分枚举集的某些类别”，Z。数学。Logik Grundlagen数学。，第36期，541-560页（1990年）·Zbl 0732.03037号 [3] A.Orlicki，“部分枚举集范畴上内函子的构造性。第1部分：一般结果，“Z。数学。Logik Grundlagen数学。（即将推出）·Zbl 0749.03035号 [4] A.Orlicki，“部分枚举集范畴上内函子的构造性。第2部分：一些重要的例子，“Z。数学。Logik Grundlagen数学。（即将发布）·Zbl 0768.03031号 [5] H.Rogers Jr.，递归函数和有效可计算性理论，Mc Graw-Hill，纽约（1967）·Zbl 0183.01401号 [6] J.Slominski，“在点单体范畴中，代数范畴在一个合适单体上的表示”，Colloq。数学。，第43期，1-22（1980）·兹比尔0511.18010 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。