Wiki. 次典范拓扑 [次典范拓扑]

定义

对于范畴 $\mathcal C$ 上的 Grothendieck 拓扑 $J$, 若所有可表函子均为层, 即米田嵌入 $\mathcal C\hookrightarrow\mathsf{Psh}(\mathcal C)$ 落在层范畴 $\mathsf{Sh}(\mathcal C,J)$ 中, 则称 $J$ 为次典范 (subcanonical) Grothendieck 拓扑.