完全分配格与点格

本文第一部分利用完备格上的上拓扑子基,给出完全分配格与点格的若干新刻划,并讨论其上的 Scott 拓扑与 Lawson 拓扑的基与子基的构造.第二部分讨论点格与代数格的关系,证明了 L 是点格当且仅当 L 为代数格且 L~(op)为完全 Heyting代数,并证明了代数偏序集范畴与点格范畴是等价的.     

φ-归纳集范畴与偏序集的一个分类定理

本文引进了φ-归纳集范畴φIP,证明了当Φ西函子是并完备时,φIP与偏序集范畴P是等价的,并且利用Galois连接序列,给出偏序集的一个分类定理,它是文[4]中的分类定理在φ是任意并完备的Φ-函子情形下的推广。     

φ-拓扑

§1 φ-函子在连续格理论中存在着一类具有共性的函子,如函子φ_s:范畴COM_s(对象完备格,态射保任意交)→集范畴SET,φ_(L)为L的全体单点集;φ_D:范畴COM_D(对象为完备格,态射保任意交、有向并)→SET,φ_D(L)为L的全体有向集;φ_c:范畴COM_c(对象为完备格,态射保任意交、并)→SET,φ_c(L)为L的幂集P(L)。诸如此类的函子,我们给出定义如下:     

φ—归纳集范畴与偏序集的一个分类定理

本文引进了-归纳集范畴IP,证明了当Φ函子是并完备时,IP 与偏序集范畴 P 是等价的,并且利用 Galois 连接序列,给出偏序集的一个分类定理,它是文[4]中的分类定理在是任意并完备的Φ-函子情形下的推广.