Repleteness and the associated sheaf (Q1295499)
From MaRDI portal
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
