Lawvere–Tierney topology