Repleteness and the associated sheaf (Q1295499): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
| links / mardi / name | links / mardi / name | ||
Revision as of 12:00, 31 January 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
