Z-连通集系统及其范畴特征

本文引入了Z-连通集系统的概念,讨论了Z-连通连续偏序集的一系列性 质,证明了Z-连通连续偏序集范畴对偶等价于完全分配格范畴的一个满子范畴.     

Z_S-相容连续偏序集及其相关范畴性质

引入了Zs-相客集系统的概念,讨论了Zs-相客连续偏序集的一系列性质.证明了Zs-相容连续偏序集范畴对偶等价于完全分配格范畴的一个满子范畴.     

S-定向完备偏序集范畴

给出定向完备偏序半群的定义,研究定向完备偏序半群在定向完备偏序集上的作用.探讨S-定向完备偏序集范畴的一些基本性质,并且证明以S-定向完备偏序集为对象,以S-Scott连续映射为态射的范畴是笛卡尔闭范畴.     

Rudin性质与拟Z-连续Domain

对一般子集系统Z,引入了Rudin性质,给出了它的映射式刻划.作为拟连续偏序集和Z-连续偏序集的公共推广,引入了拟Z-连续Domain的概念,讨论了拟Z-连续Domain的基本性质,特别地,给出了Rudin性质及其映射式刻划在拟Z-连续Domain方面的若干应用,将关于拟连续偏序集的主要结果推广至了拟Z-连续Domain情形.     

Rudin性质与拟Z-连续Domain

对一般子集系统 Z,引入了 Rudin性质,给出了它的映射式刻划,作为拟连续偏序集和Z-连续偏序集的公共推广,引入了拟Z-连续Domain的概念,讨论了拟Z-连续Domain的基本性质,特别地,给出了 Rudin性质及其映射式刻划在拟 Z-连续Domain方面的若干应用,将关于拟连续偏序集的主要结果推广至了拟 Z-连续 Domain情形。     

FS-偏序集和连续L-偏序集

引入了FS-偏序集和连续L-偏序集概念,探讨了FS-偏序集和连续L-偏序集的性质.主要结果有(1)每一FS-偏序集都是有限上集生成的,因而是Scott紧的;(2)证明了FS-偏序集(连续L-偏序集)的定向完备化是FS-偏序集(连续L-偏序集);(3)一个偏序集是一个FS-Domain当且仅当它为Lawson紧的FS-偏序集;(4)FS-偏序集(连续L-偏序集)去掉部分极大元后还是FS-偏序集(连续L-偏序集).     

C_Z-偏序集

我们将强Z-连续偏序集推广到了CZ-偏序集,并讨论了CZ-偏序集和强Z-连续偏序集之间的关系。同时我们定义了CZ-偏序集上的CZ-连续映射,得到CZ-偏序集在该映射下的像集仍是CZ-偏序集。最后,我们讨论了CZ-偏序集上的基及其相关性质。     

Z-半代数偏序集

引入了Z-半代数偏序集的定义,讨论了Z-半连续偏序的性质,给出了Z-半代数偏序集的刻划定理。证明了Z-半代数偏序集在保Z-并的闭包算子下的像仍是Z半代数偏序集。     

可数S_2-拟连续偏序集北大核心CSCD

作为广义可数逼近偏序集与S2-拟连续偏序集的共同推广,引入了可数S2-拟连续偏序集的概念并讨论了它的一些性质.本文的主要结果:(1)可数S2-拟连续偏序集上的可数way below关系满足插入性质;(2)可数S2-拟连续偏序集关于其上的弱σ-Scott拓扑为局部紧致的可数sober空间;(3)偏序集P为可数S2-连续偏序集当且仅当P为可数S2-交连续的可数S2-拟连续偏序集.     

z-代数偏序集的范畴特征

讨论z-代数偏序集一些性质,主要证明z-代数偏序集范畴对偶等价于强代数格范畴的一个满子范畴.     

代数的局部完备集范畴和FS-局部dcpo范畴的笛卡儿闭性

本文引入了代数的局部完备集,FS-局部dcpo,局部稳定映射等概念．主要结果是：以局部Scott连续映射为态射的代数的局部完备集范畴,以局部稳定映射为态射的代数的局部完备集范畴以及以局部Scott连续映射为态射的FS-局部dcpo范畴都是笛卡儿闭范畴．     

广义度量空间和偏序集

广义度量空间和偏序集都具有函数空间．而函数空间的存在为数学构造和计算提供了很大方便．本文还讨论了广义度量空间和偏序集之间的相互转化问题．     

The category of supercontinuous posets

In this paper, we study the order structure—supercontinuous poset, a generalization of completely distributive lattice. The Cartesian product of supercontinuous posets and some other properties of supercontinuous posets are investigated. Also, the case of superalgebraic posets are studied and some remarks on the category of supercontinuous posets are given.     

Z-Join Spectra of Z-Supercompactly Generated Lattices

The main result of this paper is a generalization of the classical equivalence between the category of continuous posets and the category of completely distributive lattices, based on the fact that the continuous posets are precisely the spectra of completely distributive lattices. Here we show that for so-called hereditary and union complete subset selections Z, the category of Z-continuous posets is equivalent (via a suitable spectrum functor) to the category of Z-supercompactly generated lattices; these are completely distributive lattices with a join-dense subset of certain Z-hypercompact elements. By appropriate change of the morphisms, these equivalences turn into dualities. We present two different approaches: the first one directly uses the Z-join ideal completion and the Z-below relation; the other combines two known equivalence theorems, namely a topological representation of Z-continuous posets and a general lattice theoretical representation of closure spaces.     

Maximal sublattices of finite distributive lattices

Algebraic properties of lattices of quotients of finite posets are considered. Using the known duality between the category of all finite posets together with all order-preserving maps and the category of all finite distributive (0, 1)-lattices together with all (0, 1)-lattice homomorphisms, algebraic and arithmetic properties of maximal proper sublattices and, in particular, Frattini sublattices of finite distributive (0, 1)-lattices are thereby obtained.Presented by E. T. Schmidt.     

A category of quantum posets

We investigate a category of quantum posets that generalizes the category of posets and monotone functions. Up to equivalence, its objects are hereditarily atomic von Neumann algebras equipped with quantum partial orders in Weaver’s sense. We show that this category is complete, cocomplete and symmetric monoidal closed. As a consequence, any discrete quantum family of maps from a discrete quantum space to a partially ordered set is canonically equipped with a quantum preorder. In particular, the quantum power set of a quantum set is canonically a quantum poset. We show that each quantum poset embeds into its quantum power set in complete analogy with the classical case.     

A Spectral-style Duality for Distributive Posets

In this paper, we present a topological duality for a category of partially ordered sets that satisfy a distributivity condition studied by David and Erné. We call these posets mo-distributive. Our duality extends a duality given by David and Erné because our category of spaces has the same objects as theirs but the class of morphisms that we consider strictly includes their morphisms. As a consequence of our duality, the duality of David and Erné easily follows. Using the dual spaces of the mo-distributive posets we prove the existence of a particular Δ₁-completion for mo-distributive posets that might be different from the canonical extension. This allows us to show that the canonical extension of a distributive meet-semilattice is a completely distributive algebraic lattice.     

Frink quasicontinuous posets

In this paper, the concept of Frink quasicontinuous posets is introduced. The main results are: (1) a poset is a Frink quasicontinuous poset if and only if its normal completion is a quasicontinuous lattice; (2) a poset is precontinuous if and only if it is Frink quasicontinuous and meet precontinuous; (3) when a Frink quasicontinuous poset satisfies certain conditions, the way below relation has the interpolation property; (4) the category of quasicontinuous lattices with complete homomorphisms is a full reflective subcategory of the category of Frink quasicontinuous posets with cut-stable maps.     

Incidence categories

Given a family F of posets closed under disjoint unions and the operation of taking convex subposets, we construct a category C_F called the incidence category ofF. This category is “nearly abelian” in the sense that all morphisms have kernels/cokernels, and possesses a symmetric monoidal structure akin to direct sum. The Ringel-Hall algebra of C_F is isomorphic to the incidence Hopf algebra of the collection P(F) of order ideals of posets in F. This construction generalizes the categories introduced by K. Kremnizer and the author, in the case when F is the collection of posets coming from rooted forests or Feynman graphs.     

Homology of products and joins of reflexive relations

The homology of products and joins of reflexive relations is computed. Rota's homology of the products of two lattices is computed. The homology of finite polyspherical posets is determined by Euler characteristic and length. The category of polyspherical posets is closed under joins and special products but not products. A special product of nonvoid reflexive relations is simply connected.