Repleteness and the associated sheaf (Q1295499): Difference between revisions
From MaRDI portal
Removed claim: reviewed by (P1447): Item:Q587019 |
ReferenceBot (talk | contribs) Changed an Item |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / reviewed by | |||
Property / reviewed by: Peter T. Johnstone / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5582216 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3682648 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4856547 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4773847 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4141378 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3658170 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Aspects of topoi: Corrigenda and acknowledgements / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3978973 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The S-replete construction / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4145861 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5664068 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Localization and Sheaf Reflectors / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5662560 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Sheaves in geometry and logic: a first introduction to topos theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Colimits in Topoi / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3213287 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A proof of the associated sheaf theorem by means of categorical logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4085903 / rank | |||
Normal rank |
Latest revision as of 20:51, 28 May 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
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