Continuous semilattices

DOI10.1016/0304-3975(86)90182-9MaRDI QIDQ1080873zbMATH OpenOpenAlexFDO

Publication date 1986

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0304-3975(86)90182-9

\({\mathcal Z}\)-complete posets separately \({\mathcal Z}\)-continuous semilattices subset systems

Partial orders, general (06A06) Semilattices (06A12) Continuous lattices and posets, applications (06B35) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40)

Review text

A subset system \({\mathcal Z}\) is an operator assigning to each poset P a collection \({\mathcal Z}(P)\) of subsets of P such that for each \(X\in {\mathcal Z}(P)\) and each order-preserving \(f: P\to Q\) we have f(X)\(\in {\mathcal Z}(Q)\). A poset P is \({\mathcal Z}\)-complete iff each \(X\in {\mathcal Z}(P)\) has a join in P. An order-preserving mapping \(f: P\to Q\) is \({\mathcal Z}\)- continuous iff it preserves all existing \({\mathcal Z}\)-joins. A triple \((A,+,\leq)\) is a separately \({\mathcal Z}\)-continuous semilattice if \((A,+)\) is a semilattice, (A,\(\leq)\) is a \({\mathcal Z}\)-complete poset and for each \(a\in A\), \(a+-: A\to A\) preserves the order and non-empty \({\mathcal Z}\)- joins. Morphisms between separately \({\mathcal Z}\)-continuous semilattices are \({\mathcal Z}\)-continuous semilattice homomorphisms. The authors describe a free separately \({\mathcal Z}\)-continuous semilattice over an arbitrary set X (with the discrete ordering) for every subset system \({\mathcal Z}\). For special subset systems \({\mathcal Z}\) and for special \({\mathcal Z}\)-complete posets P free separately \({\mathcal Z}\)-continuous semilattices over P are described.

Recommendations

Cites work

Cited in

(11)

This page was built for publication: Continuous semilattices

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1080873)