Wiki. “Lawvere–Tierney 拓扑” [Lawvere--Tierney拓扑]

动机

与 Grothendieck 拓扑的关系

命题. 小范畴 $C$ 上的 Grothendieck 拓扑给出预层意象 $\mathsf {Set}^{C^{\mathrm{op}}}$ 上的 Lawvere–Tierney 拓扑.