Continuous Pre-ordered Sets

Na Zhao,Wei He

DOI: https://doi.org/10.3969/j.issn.1001-4616.2009.01.004

2009-01-01

Abstract:The concept of continuous pre-ordered sets and its basic properties are introduced.It is showed that the cate gory CPOSET of continuous posets and Scott continuous functions is a reflective subcategory of the calegory CPRSET of continuous pre-ordered sets and Scott continuous functions.

What problem does this paper attempt to address?

The Scott Topology on Posets and Continuous Posets

范丽红,贺伟

IF: 1.675

2009-01-01

Advances in Mathematics

Abstract:In this paper,we define the Scott topology on arbitrary poset by means of S-limit,which extends the Scott topology defined on a dcpo.We will show that the Scott topology defined on a poset or a continuous poset has many similar properties to those of the Scott topology defined on a dcpo or a domain.We also show that the category POSET of posets and Scott continuous maps is not Cartesian closed,thus the categories of FS-posets and B-posets are not Cartesian closed.As a corollary,we show that the category CDCPO of consistent directed complete posets(in short,cdcpos) and Scott continuous maps is a Cartesian closed full subcategory of POSET.
Some Notes on Continuous Posets

Lihong Fan,Wei He

DOI: https://doi.org/10.3969/j.issn.1001-4616.2008.01.004

2008-01-01

Abstract:In this paper, we investigate the order structure-continuous poset, a generalization of a continuous dcpo(i.e., domain). The Cartesian product of continuous posets is studied. Some other properties of continuous posets and algebraic posets are given. Some equivalent characterization of continuous posets is given.
On a Characterization Theorem for Continuous Posets

WANG Xijuan,LU Tao,HE Wei

DOI: https://doi.org/10.11845/sxjz.2010.39.01.0088

IF: 1.675

2010-01-01

Advances in Mathematics

Abstract:In this paper we will give a direct proof of a characterization theorem for continuous posers and also a parallel result for algebraic posets. We also show that a continuous poset P is locally compact with respect to the Scott topology. These results generalize the corresponding results for dcpos.
Directed Completions of Local Dcpos

Aijun Xu,Wei He

DOI: https://doi.org/10.3969/j.issn.1001-4616.2017.04.001

2017-01-01

Abstract:In this paper,we explore directed completions of local dcpos. The following results are obtained.(1)The directed completions of continuous(resp.,algebraic)local dcpos are continuous(resp.,algebraic)dcpos;(2)The category CDcpo(resp.,ADcpo)of continuous(resp.,algebraic)dcpos and Scott continuous maps is a full reflective subcategory of the category CLDcpo(resp.,ALDcpo)of continuous(resp.,algebraic)local dcpos and local Scott continuous maps.
The Meet Continuous Partial Ordered Objects in a Topos

Di WANG,Tao LU,Xi-juan WANG

2017-01-01

Abstract:In this paper,we introduce the concept of meet continuous partially ordered objects,study the properties of meet continuous partial ordered objects in a topos and then generalize some well-known lattice theory conclusions into a topos.
The Stone Representations for Generalized Continuous Posets

Shen, Ao,Li, Qingguo

DOI: https://doi.org/10.1007/s10485-023-09761-w

2024-01-17

Applied Categorical Structures

Abstract:In this paper, we introduce the concepts of generalized continuous posets and present topological dualities for them. Moreover, we show that the category of generalized continuous posets and continuous morphisms is dually equivalent to the category of F-spaces and F-morphisms. In particular, some special cases are obtained, such as the topological representations for posets, domains, continuous lattices and join-semilattices.

mathematics
Central extensions of preordered groups

Marino Gran,Aline Michel

2023-03-07

Abstract:We prove that the category of preordered groups contains two full reflective subcategories that give rise to some interesting Galois theories. The first one is the category of the so-called commutative objects, which are precisely the preordered groups whose group law is commutative. The second one is the category of abelian objects, that turns out to be the category of monomorphisms in the category of abelian groups. We give a precise description of the reflector to this subcategory, and we prove that it induces an admissible Galois structure and then a natural notion of categorical central extension. We then characterize the central extensions of preordered groups in purely algebraic terms: these are shown to be the central extensions of groups having the additional property that their restriction to the positive cones is a special homogeneous surjection of monoids.

Category Theory
Two Counterexamples Concerning the Scott Topology on a Partial Order

Peter Hertling

DOI: https://doi.org/10.48550/arXiv.1607.04128

2016-07-14

Abstract:We construct a complete lattice $Z$ such that the binary supremum function $\sup:Z\times Z\to Z$ is discontinuous with respect to the product topology on $Z\times Z$ of the Scott topologies on each copy of $Z$. In addition, we show that bounded completeness of a complete lattice $Z$ is in general not inherited by the dcpo $C(X,Z)$ of continuous functions from $X$ to $Z$ where $X$ may be any topological space and where on $Z$ the Scott topology is considered.

Logic in Computer Science,General Topology
Ephemeral Modules and Scott Sheaves on a Continuous Poset

Manu Harsu,Eero Hyry

2024-11-25

Abstract:By utilizing domain theory, we generalize the notion of an ephemeral module to the so-called continuous posets. We investigate the quotient category of persistence modules by the Serre subcategory of ephemeral modules and show that it is equivalent to the category of sheaves on the Scott topology. Furthermore, we study the metric properties of persistence modules via this equivalence.

Algebraic Topology,Commutative Algebra,Representation Theory
Topological representations for frame-valued domains via $L$-sobriety

Guojun Wu,Wei Yao,Qingguo Li

2024-08-08

Abstract:With a frame $L$ as the truth value table, we study the topological representations for frame-valued domains. We introduce the notions of locally super-compact $L$-topological space and strong locally super-compact $L$-topological space. Using these concepts, continuous $L$-dcpos and algebraic $L$-dcpos are successfully represented via $L$-sobriety. By means of Scott $L$-topology and specialization $L$-order, we establish a categorical isomorphism between the category of the continuous (resp., algebraic) $L$-dcpos with Scott continuous maps and that of the locally super-compact (resp., strong locally super-compact) $L$-sober spaces with continuous maps. As an application, for a continuous $L$-poset $P$, we obtain a categorical isomorphism between the category of directed completions of $P$ with Scott continuous maps and that of the $L$-sobrifications of $(P, \sigma_{L}(P))$ with continuous maps.

General Topology
About posets for which no lower cover or no upper cover has the fixed point property

Frank a Campo

DOI: https://doi.org/10.48550/arXiv.2109.09431

2022-02-14

Abstract:For a finite non-empty set $X$, let $\mathfrak{P}(X)$ denote the set of all posets with carrier $X$, ordered by inclusion of their partial order relations. We investigate properties of posets $P \in \mathfrak{P}(X)$ for which no lower cover or no upper cover in $\mathfrak{P}(X)$ has the fixed point property. We derive two conditions, one of them sufficient for that no lower cover of $P$ has the fixed point property, the other one sufficient for that no upper cover of $P$ has the fixed point property, and we apply these results on several types of posets.

Combinatorics
Restricted P-Centers for Sets in Real Locally Convex Spaces

XF Luo,C Li,JS He

DOI: https://doi.org/10.1081/nfa-200067302

2005-01-01

Numerical Functional Analysis and Optimization

Abstract:Let p be a continuous seminorm on a real locally convex space X. The current paper is concerned with the problem of restricted p-centers in X. Characterizations of restricted p-centers and strongly unique restricted p-centers with respect to a "sun" are provided, and then some recent results due to Laurent and Pai (9) are extended and improved.
Completely distributive enriched categories are not always continuous

Hongliang Lai,Dexue Zhang

DOI: https://doi.org/10.48550/arXiv.1908.01106

2020-01-22

Abstract:In contrast to the fact that every completely distributive lattice is necessarily continuous in the sense of Scott, it is shown that complete distributivity of a category enriched over the closed category obtained by endowing the unit interval with a continuous t-norm does not imply its continuity in general. Necessary and sufficient conditions for the implication are presented.

Category Theory
Upper powerdomains of quasicontinuous dcpos

Yuxu Chen,Hui Kou,Zhenchao Lyu

DOI: https://doi.org/10.1016/j.tcs.2024.114663

IF: 1.002

2024-06-02

Theoretical Computer Science

Abstract:The upper powerdomain of an arbitrary dcpo L can be constructed by the Scott completion of the directed upper powerspace of L . By means of this result, we investigate the upper powerdomains of quasicontinuous domains. The main results are: (1) The upper powerdomain PU(L) of a quasicontinuous domain L is quasicontinuous iff the directed upper powerspace of L is endowed with the Scott topology, iff PU(L) is isomorphic to Q(L) , the semilattice of nonempty Scott compact saturated subsets of L . (2) There exists a quasicontinuous dcpo whose upper powerdomain is not quasicontinuous. (3) The upper powerdomain of a strongly quasicontinuous domain L is isomorphic to Q(L) .

computer science, theory & methods
Partial orders are the free conservative cocompletion of total orders

Calin Tataru

2024-04-19

Abstract:We show that the category of partially ordered sets $\mathsf{Pos}$ is equivalent to the free conservative cocompletion of the category of finite non-empty totally ordered sets $\Delta$, which is also known as the simplex category.

Category Theory
On Order Ideals of Minuscule Posets III: The CDE Property

David B Rush

DOI: https://doi.org/10.48550/arXiv.1607.08018

2016-07-27

Abstract:Recent work of Hopkins establishes that the lattice of order ideals of a minuscule poset satisfies the coincidental down-degree expectations property of Reiner, Tenner, and Yong. His approach appeals to the classification of minuscule posets. A uniform proof is presented herein. The blueprint follows that of Rush and Wang in their uniform proof that various cardinality statistics are homomesic on orbits of order ideals of minuscule posets under the Fon-Der-Flaass action. The underpinning remains the original insight of Rush and Shi into the structure of the isomorphism between the weight lattice of a minuscule representation of a complex simple Lie algebra and the lattice of order ideals of the corresponding minuscule poset.

Combinatorics
Directed Completions of Consistent FS-domains and Related Categorical Properties

WANG Xi-juan,XU Luo-shan

DOI: https://doi.org/10.3969/j.issn.1001-7402.2005.03.017

2005-01-01

Abstract:The new concept of consistent FS-domains is introduced. Some basic properties of consis- tent FS-domains are given. The following are the main obtained results: (1) Retracts and continuous function spaces of consistent FS-domains are consistent FS-domains; (2) Consistent FS-domains are all finitely upper generated and Scott compact; (3) Directed completions of consistent FS-domains are FS-domains; (4) If L is an FS-domain with a top 1, then L\\{1} is a consistent FS-domain; (5) The category FS-CDOM of consistent FS-domains and Scott continuous functions is Cartesian closed and has the category FS-DOM of FS-domains and Scott continuous functions as a full reflective subcategory.
A well-quasi-order for continuous functions

Raphaël Carroy,Yann Pequignot

2024-10-17

Abstract:We prove that continuous reducibility is a well-quasi-order on the class of continuous functions between separable metrizable spaces with analytic zero-dimensional domain. To achieve this, we define scattered functions, which generalize scattered spaces, and describe exhaustively scattered functions between zero-dimensional separable metrizable spaces up to continuous equivalence.

Logic
Discussion about Bounded Complete Domain

王习娟

DOI: https://doi.org/10.3969/j.issn.1671-6876.2004.02.004

2004-01-01

Abstract:In this paper, we gave various properties of bounded complete domain. And we proved, with Scott continuous functions as morphisms, the category of bounded complete domain is Cartesian closed; we also got the conclusion that bounded complete domain is a FS-domain and that the category of BP-domain is a full reflective subcategory of the category of FS-domain.
Chain Posets

Ian T. Johnson

DOI: https://doi.org/10.48550/arXiv.1802.05813

2018-02-16

Abstract:A chain poset, by definition, consists of chains of ordered elements in a poset. We study the chain posets associated to two posets: the Boolean algebra and the poset of isotropic flags. We prove that, in both cases, the chain posets satisfy the strong Sperner property and are rank-log concave.

Combinatorics

Continuous Pre-ordered Sets

The Scott Topology on Posets and Continuous Posets

Some Notes on Continuous Posets

On a Characterization Theorem for Continuous Posets

Directed Completions of Local Dcpos

The Meet Continuous Partial Ordered Objects in a Topos

The Stone Representations for Generalized Continuous Posets

Central extensions of preordered groups

Two Counterexamples Concerning the Scott Topology on a Partial Order

Ephemeral Modules and Scott Sheaves on a Continuous Poset

Topological representations for frame-valued domains via $L$-sobriety

About posets for which no lower cover or no upper cover has the fixed point property

Restricted P-Centers for Sets in Real Locally Convex Spaces

Completely distributive enriched categories are not always continuous

Upper powerdomains of quasicontinuous dcpos

Partial orders are the free conservative cocompletion of total orders

On Order Ideals of Minuscule Posets III: The CDE Property

Directed Completions of Consistent FS-domains and Related Categorical Properties

A well-quasi-order for continuous functions

Discussion about Bounded Complete Domain

Chain Posets