In mathematics, a Lawvere–Tierney topology is an analog of a Grothendieck topology for an arbitrary elementary 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.
In mathematics, a Lawvere–Tierney topology is an analog of a Grothendieck topology for an arbitrary elementary 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.
Source: Wikipedia "Lawvere–Tierney topology" · CC BY-SA 4.0
Share this article: X · Bluesky