Lawvere–Tierney_topology
Lawvere–Tierney topology
Analog of Grothendieck 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. They were introduced by William Lawvere (1971) and Myles Tierney.