×
A.Homayoun Nejah;莫伊根·马哈茂迪;M.Mehdi，易卜拉希米

拓扑中的部分有序对象。 （英语） Zbl 1490.18003号

奎斯特。数学。 44，第11期，1563-1592（2021）.
本文介绍了研究拓扑中部分有序对象的第一个结果。作者定义了拓扑中部分有序对象的单调态射。\（\mathcal E\）中的偏序对象和单调态射形成一个范畴，用表示Po公司\（\mathcal E\）。类别Po公司\（mathcal E）是笛卡尔闭的：它有乘积、均衡器、指数对象和终端对象。为此，构造了指数对象上的点序，并给出了指数对象的显式描述。
审核人：Peeter Normark（塔林）

MSC公司：

18对25 托波伊
06年06月06日 部分订单，通用
16亿B50 结合代数中的范畴理论方法和结果（16D90中的除外）
18日第15天 闭范畴（闭单体和笛卡尔闭范畴等）

关键词：

部分订单;笛卡尔闭范畴;地形
PDF格式BibTeX公司 XML格式引用
\textit{A.H.Nejah}等人，奎斯特。数学。44，第11号，1563-1592（2021；Zbl 1490.18003）
全文： 内政部

参考文献：

[1] 阿达梅克，J。；Koubek，V.，函子的最小不动点，《计算机与系统科学杂志》，第19期，第163-178页（1979年）·Zbl 0423.18007号 ·doi:10.1016/0022-0000（79）90026-6
[2] Backhouse，R。；比jsterveld，M。；Geldrop，R。；Woude，J.，分类不动点微积分，953（1995），Springer:Springer，柏林/海德堡·Zbl 1502.68168号
[3] Bauer，A.，关于有效拓扑中链完备格的不动点定理的失败，理论计算机科学，430，43-50（2012）·Zbl 1251.03092号 ·doi:10.1016/j.tcs.2011.12.005
[4] Paul J.Campbell，《Zorn引理的起源》，Historia Mathematica，5，1，77-89（1978）·Zbl 0377.01009号 ·doi:10.1016/0315-0860（78）90136-2
[5] Davey，B.A。；Priestley，H.A.，《格与秩序导论》（2002），剑桥大学出版社：剑桥大学出版社，剑桥·兹比尔1002.06001
[6] Fitting，M.，逻辑编程的定点语义综述，理论计算机科学，278，1-2，25-51（2002）·Zbl 1002.68023号 ·doi:10.1016/S0304-3975（00）00330-3
[7] Goldblatt，R.，Topoi:the Categorial Analysis of Logic（1984），Elsevier Science Publishers B.V.：爱思唯尔科学出版社，阿姆斯特丹
[8] Johnstone，P.T.，《大象素描》，2（2002），牛津大学出版社：牛津大学出版社，牛津·Zbl 1071.18001号
[9] Mac Lane，S.，《在职数学家分类》（1998），施普林格：施普林格，纽约·Zbl 0906.18001号
[10] 南卡罗来纳州Mac Lane。；Moerdijk，I.，《几何与逻辑中的滑轮》（Sheeves in Geometry and Logic）（1992年），《施普林格：施普林格》，纽约·Zbl 0822.18001号
[11] Power，J。；Rosolini，G.，域方程的不动点算子，理论计算机科学，278，1-2，323-333（2002）·Zbl 1002.68087号 ·doi:10.1016/S0304-3975（00）00341-8
[12] Scott，D.S.，CUCH的类型理论替代品，ISWIM，OWHY，理论计算机科学，121，1-2411-440（1993）·Zbl 0942.68522号 ·doi:10.1016/0304-3975（93）90095-B
[13] Simpson，A.和Plotkin，G.，范畴不动点算子的完备公理，第十五届IEEE计算机科学逻辑研讨会论文集，猫。编号99CB36332，（2000），30-41。内政部：
[14] Wand，M.，有序丰富类别中的定点构造，理论计算机科学，8，13-30（1979）·Zbl 04011.8005号 ·doi:10.1016/0304-3975（79）90053-7
[15] Wilansky，A.，《通过函数分析求和》（1991），爱思唯尔科学出版社：爱思唯尔科学出版社，阿姆斯特丹
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。