Meet-continuity on $L$-directed Complete Posets
Authors
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.
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 textActions 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 textPresenting 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 textMeet 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 textChain-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 textactions 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 textMy Resources
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