Wiki. Lawvere–Tierney 拓扑 [Lawvere--Tierney拓扑]
Wiki. Lawvere–Tierney 拓扑 [Lawvere--Tierney拓扑]
观念
… 见 Grothendieck 拓扑.
动机
与 Grothendieck 拓扑的关系
命题. 小范畴 $C$ 上的 Grothendieck 拓扑给出预层意象 $\mathsf {Set}^{C^{\mathrm{op}}}$ 上的 Lawvere–Tierney 拓扑.
… 见 Grothendieck 拓扑.
命题. 小范畴 $C$ 上的 Grothendieck 拓扑给出预层意象 $\mathsf {Set}^{C^{\mathrm{op}}}$ 上的 Lawvere–Tierney 拓扑.