Compact spaces and distributive lattices. (Q1408349)

From MaRDI portal
Revision as of 17:23, 20 July 2023 by Importer (talk | contribs) (‎Created a new Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Compact spaces and distributive lattices.
scientific article

    Statements

    Compact spaces and distributive lattices. (English)
    0 references
    0 references
    15 September 2003
    0 references
    The author presents a general construction connecting compact locales and distributive lattices that allows to reduce results about compact locales to distributive lattices. In the paper there are two applications of the reduction: the localic version of Tychonoff's theorem on the compactness of products and the localic version of Steenrod's theorem on the compactness of inverse limits. The feature of these arguments is that they can be formulated both in topos theory and in a predicative theory.
    0 references
    compact locales
    0 references
    distributive lattices
    0 references
    Tychonoff's theorem
    0 references
    Steenrod's theorem
    0 references

    Identifiers

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