A completion-invariant extension of the concept of meet continuous lattices. (15th May 2015)
- Record Type:
- Journal Article
- Title:
- A completion-invariant extension of the concept of meet continuous lattices. (15th May 2015)
- Main Title:
- A completion-invariant extension of the concept of meet continuous lattices
- Authors:
- ZHANG, WENFENG
XU, XIAOQUAN - Abstract:
- Abstract : In this paper, the concept of meet F-continuous posets is introduced. The main results are: (1) A poset P is meet F-continuous 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 precontinuous iff P is meet F-continuous and quasiprecontinuous; (3) The category of meet continuous lattices with complete homomorphisms is a full reflective subcategory of the category of meet F-continuous posets with cut-stable maps.
- Is Part Of:
- Mathematical structures in computer science. Volume 27:Number 4(2017)
- Journal:
- Mathematical structures in computer science
- Issue:
- Volume 27:Number 4(2017)
- Issue Display:
- Volume 27, Issue 4 (2017)
- Year:
- 2017
- Volume:
- 27
- Issue:
- 4
- Issue Sort Value:
- 2017-0027-0004-0000
- Page Start:
- 530
- Page End:
- 539
- Publication Date:
- 2015-05-15
- Subjects:
- Computer science -- Mathematics -- Periodicals
004.015105 - Journal URLs:
- http://journals.cambridge.org/action/displayJournal?jid=MSC ↗
- DOI:
- 10.1017/S0960129515000213 ↗
- Languages:
- English
- ISSNs:
- 0960-1295
- Deposit Type:
- Legaldeposit
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library HMNTS - ELD Digital store
- Ingest File:
- 10127.xml