The regular-locally compact coreflection of a stably locally compact locale (Q5928473): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Q3819682 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Stably continuous frames / rank
 
Normal rank
Property / cites work
 
Property / cites work: Properly injective spaces and function spaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3898534 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3344036 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Spectral Theory of Distributive Continuous Lattices / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3915037 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Atomless Parts of Spaces. / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Gleason cover of a topos. II / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3965241 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3702938 / rank
 
Normal rank
Property / cites work
 
Property / cites work: An extension of the Galois theory of Grothendieck / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4373424 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4362082 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3812305 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5639839 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Modal operators on Heyting algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: Representation of Distributive Lattices by means of ordered Stone Spaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: Ordered Topological Spaces and the Representation of Distributive Lattices / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3221026 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Logic colloquium '77. Proceedings of the colloquium held in Wroclaw, August 1977 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Stable Compactification I / rank
 
Normal rank
Property / cites work
 
Property / cites work: Proper maps of locales / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3994458 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Constructive points of powerlocales / rank
 
Normal rank

Latest revision as of 14:54, 3 June 2024

scientific article; zbMATH DE number 1582714
Language Label Description Also known as
English
The regular-locally compact coreflection of a stably locally compact locale
scientific article; zbMATH DE number 1582714

    Statements

    The regular-locally compact coreflection of a stably locally compact locale (English)
    0 references
    19 November 2001
    0 references
    Via the frame of Scott continuous nuclei the author shows that (i) the category of regular locally compact locales and perfect maps appears as a coreflective subcategory of the category of stably locally compact locales and perfect maps; (ii) the category of compact regular locales and continuous maps appears as a coreflective subcategory of the category of stably compact locales and perfect maps; and (iii) the category of Stone locales and continuous maps appears as a coreflective subcategory of the category of spectral locales and perfect maps.
    0 references
    0 references
    nucleus
    0 references
    patch frame
    0 references
    locale
    0 references
    regular locally compact locale
    0 references
    stably locally compact locale
    0 references
    Stone locale
    0 references
    stably compact locale
    0 references
    spectral locale
    0 references
    patch construction
    0 references
    perfect map
    0 references
    category
    0 references
    coreflective subcategory
    0 references
    continuous maps
    0 references

    Identifiers