Meet-continuity on $L$-directed Complete Posets

Authors

  • Lankun Guo College of Mathematics and Econometrics, Hunan University, Chang- sha 410082, P.R. China
  • Qingguo Li College of Mathematics and Econometrics, Hunan University, Chang- sha 410082, P.R. China
  • Shuhua Su College of Mathematics and Econometrics, Hunan University, Chang- sha 410082, P.R. CHINA and College of Science, East China Institute of Technology, Fuzhou, JiangXi 344000, P.R. China
Abstract:

In this paper, the definition of meet-continuity on $L$-directedcomplete posets (for short, $L$-dcpos) is introduced. As ageneralization of meet-continuity on crisp dcpos, meet-continuity on$L$-dcpos, based on the generalized Scott topology, ischaracterized. In particular, it is shown that every continuous$L$-dcpo is meet-continuous and $L$-continuous retracts ofmeet-continuous $L$-dcpos are also meet-continuous. Then, sometopological properties of meet-continuity on $L$-dcpos arediscussed. It is shown that meet-continuity on $L$-dcpos is atopological invariant with respect to the generalized Scotttopology, and meet-continuity on $L$-dcpos is hereditary withrespect to generalized Scott closed subsets.

Upgrade to premium to download articles

Sign up to access the full text

Already have an account?login

similar resources

meet-continuity on $l$-directed complete posets

in this paper, the definition of meet-continuity on $l$-directedcomplete posets (for short, $l$-dcpos) is introduced. as ageneralization of meet-continuity on crisp dcpos, meet-continuity on$l$-dcpos, based on the generalized scott topology, ischaracterized. in particular, it is shown that every continuous$l$-dcpo is meet-continuous and $l$-continuous retracts ofmeet-continuous $l$-dcpos are al...

full text

Actions of a separately strict cpo-monoid on pointed directed complete posets

‎ In the present article‎, ‎we study some categorical properties of the category {$bf‎ Cpo_{Sep}$-$S$} of all {separately strict $S$-cpo's}; cpo's equipped with‎ a compatible right action of a separately strict cpo-monoid $S$ which is‎ strict continuous in each component‎. ‎In particular‎, we show that this category is reflective and coreflective in the‎ category of $S$-cpo's‎, ‎find the free a...

full text

Presenting locale pullback via directed complete posets

This paper shows how to describe the pullbacks of directed complete posets (dcpos) along geometric morphisms. This extends Joyal and Tierney’s original results on the pullbacks of suplattices. It is then shown how to treat every frame as a dcpo and so locale pullback is described in this way. Applications are given describing triquotient assignments in terms of internal dcpo maps, leading to pu...

full text

Meet Precontinuous Posets

In this paper, we introduce the concept of meet precontinuous posets, a generalization of meet continuous lattices to posets. The main results are: (1) A poset P is meet precontinuous iff its normal completion is a meet continuous lattice iff a certain system γ(P ) which is, in the case of complete lattices, the lattice of all Scott-closed sets is a complete Heyting algebra; (2) A poset P is pr...

full text

Chain-complete posets and directed sets with applications

Let a poset P be called chain-complete when every chain, including the empty chain, has a sup in P. Many authors have investigated properties of posets satisfying some sort of chain-completeness condition (see [,11, [-31, [6], I-71, [17], [,181, ['191, [,211, [,221), and used them in a variety of applications. In this paper we study the notion of chain-completeness and demonstrate its usefulnes...

full text

actions of a separately strict cpo-monoid on pointed directed complete posets

‎ in the present article‎, ‎we study some categorical properties of the category {$bf‎ cpo_{sep}$-$s$} of all {separately strict $s$-cpo's}; cpo's equipped with‎ a compatible right action of a separately strict cpo-monoid $s$ which is‎ strict continuous in each component‎. ‎in particular‎, we show that this category is reflective and coreflective in the‎ category of $s$-cpo's‎, ‎find the free a...

full text

My Resources

Save resource for easier access later

Save to my library Already added to my library

{@ msg_add @}


Journal title

volume 10  issue 5

pages  63- 78

publication date 2013-10-29

By following a journal you will be notified via email when a new issue of this journal is published.

Hosted on Doprax cloud platform doprax.com

copyright © 2015-2023