Repleteness and the associated sheaf (Q1295499): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
RedirectionBot (talk | contribs)
Removed claim: reviewed by (P1447): Item:Q587019
Property / reviewed by
 
Property / reviewed by: Q805731 / rank
Normal rank
 

Revision as of 13:42, 16 February 2024

scientific article
Language Label Description Also known as
English
Repleteness and the associated sheaf
scientific article

    Statements

    Repleteness and the associated sheaf (English)
    0 references
    0 references
    0 references
    16 August 1999
    0 references
    The authors give a new construction of the associated sheaf functor for a Lawvere-Tierney topology in an elementary topos, using the idea of `repleteness' first developed in synthetic domain theory. The construction is very simple, but since it involves iterated power-objects it does not readily yield an explicit description of the associated sheaf in particular cases.
    0 references
    associated sheaf functor
    0 references
    Lawvere-Tierney topology
    0 references
    elementary topos
    0 references
    repleteness
    0 references
    iterated power-objects
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references