Repleteness and the associated sheaf Original Research Article

We give a new categorical definition of the associated sheaf functor for a Lawvere-Tierney topology in a topos. Although the existence of such a functor is well known, the construction presented here does not resemble any other in the literature and it seems simple enough to deserve mention. We give direct comparisons with other presentations.