Repleteness and the associated sheaf
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.
scientific article; zbMATH DE number 1308156
scientific article