\(Z\)-join spectra of \(Z\)-supercompactly generated lattices (Q5929738)

From MaRDI portal
scientific article; zbMATH DE number 1586449
Language Label Description Also known as
English
\(Z\)-join spectra of \(Z\)-supercompactly generated lattices
scientific article; zbMATH DE number 1586449

    Statements

    \(Z\)-join spectra of \(Z\)-supercompactly generated lattices (English)
    0 references
    0 references
    0 references
    21 December 2001
    0 references
    A subset selection is a function \(Z\) assigning to each poset \(P\) a certain collection \(ZP\) of subsets. The main result of the paper is that for hereditary and union complete subset selection \(Z\), the category of \(Z\)-continuous posets is equivalent via a suitable spectrum functor to the category of \(Z\)-supercompactly generated lattices. These are completely distributive lattices with a join-dense subset of certain \(Z\)-hypercompact elements. By appropriate change of the morphisms these equivalences turn into dualities. In the paper the authors present two different approaches: the first one directly uses the \(Z\)-join ideal completion and the \(Z\)-below relation; the second combines two known equivalence theorems, namely a topological representation of \(Z\)-continuous posets and a general lattice theoretical representation of closure spaces. Also, the authors give ``natural'' counterexamples which show, that the validity of the results requires some constraints on the subset selections involved, making them ``shiftable'' from one poset to another.
    0 references
    0 references
    below relation
    0 references
    \(Z\)-super sober space
    0 references
    subset selection
    0 references
    category of \(Z\)-continuous posets
    0 references
    spectrum functor
    0 references
    category of \(Z\)-supercompactly generated lattices
    0 references
    completely distributive lattices
    0 references
    hypercompact elements
    0 references
    dualities
    0 references
    \(Z\)-join ideal completion
    0 references
    topological representation
    0 references
    closure spaces
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references