@jonmsterling @gadmm

This may also help (but I haven't checked that everything said there is correct, which one must do when recommending an nLab page these days):

https://ncatlab.org/nlab/show/Lawvere-Tierney+topology