 Lawvere–Tierney topology

In mathematics, a Lawvere–Tierney topology is an analog of a Grothendieck topology for an arbitrary topos, used to construct a topos of sheaves.A Lawvere–Tierney topology is also sometimes also called a local operator or coverage or topology or geometric modality.