Repleteness and the associated sheaf (Q1295499)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Repleteness and the associated sheaf |
scientific article; zbMATH DE number 1308156
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Repleteness and the associated sheaf |
scientific article; zbMATH DE number 1308156 |
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
