Repleteness and the associated sheaf (Q1295499): Difference between revisions
From MaRDI portal
Removed claim: reviewed by (P1447): Item:Q587019 |
Changed an Item |
||
| Property / reviewed by | |||
| Property / reviewed by: Peter T. Johnstone / 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
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
