标准拓扑

它指向谁（出边）

推出 2

• 本页 ⟹ Giraud 定理推出
  Giraud 定理的证明

  (2) $\implies$ (3)。 取 $\mathcal{C} = \mathcal{T}$，配上 $\mathcal{T}$ 上的标准拓扑。此时层范畴就是 $\mathcal{T}$ 自己（因为标准拓扑下的层恰好是可表示的那些），于是 $\mathcal{T} \simeq \widehat{\mathcal{C}}$。∎

  (3) $\implies$ (4)。 预层范畴 $\widehat{\mathcal{C}}$ 是拓扑斯，而层范畴是它的反射子范畴，反射（层化）保有限极限 —— 这正是 (4) 的形式。∎

  (4) $\implies$ (1)。 设 $\mathcal{T}$ 是 $\widehat{\mathcal{C}}$ 的反射子范畴，反射 $\sharp$ 正合。$\widehat{\mathcal{C}}$ 是拓扑斯，其中「有限极限 / 余积 / 等价关系」都是逐点算的、性质都好。反射子范畴对极限封闭（含入函子是右伴随），反射保有限极限与余极限，两份合起来把拓扑斯的四条公理逐一运到 $\mathcal{T}$ 上：有限极限来自含入函子，余积与商来自「先在大范畴里算、再反射回去」，小生成元集取那些可表示预层的层化。∎

  (1) $\implies$ (2)。 给 $\mathcal{T}$ 配标准拓扑。要证每个层都可表示。任取层 $F$。

  设 $S$ 是 $\mathcal{T}$ 的小生成元集。由 $S$ 生成，可以造出满态射

  $$\coprod_{i \in I} X_{i} \longrightarrow F, \qquad X_{i} \in \mathcal{T}$$

  （把每个 $X \in S$ 到 $F$ 的态射全体拼起来，生成性保证这族箭头合起来是满的。）每个 $X_{i}$ 作为可表示层是可表示的；再由 $F$ 是层，$X_{i} \times_{F} X_{j}$ 也在 $\mathcal{T}$ 里因而是可表示的。

  于是前提全部满足，下降引理给出 $F$ 可表示 —— 具体地 $F \cong X/R$，其中 $X = \coprod_{i} X_{i}$、$R = \coprod_{i,j} X_{i} \times_{F} X_{j}$。∎

  四条里最不平凡的一步是 $(1) \implies (2)$：把一个抽象拓扑斯里的任意层，用小生成元集造一个覆盖，再用下降引理把「可表示」从覆盖的每一块传回整体。

• 本页 ⟹ 拓扑斯上的层即保极限的预层推出
  拓扑斯上的层 $\iff$ 保极限

  (层 $\implies$ 保极限) 设 $F$ 是层，$R$ 是 $X$ 的覆盖筛。按标准拓扑的定义，$R \in J(X)$ 恰好意味着

  $$X \;\cong\; \varinjlim_{X' \to X \in R} X'$$

  （每个从 $X$ 出发的箭头都能被 $R$ 里的箭头穿过。）把 $F$ 作用上去：

  $$F(X) \;\cong\; \varprojlim_{X' \to X \in R} F(X')$$

  左边是 $\operatorname{Hom}(h_{X}, F)$、右边是 $\operatorname{Hom}(R, F)$，这正是层的双射条件。∎

  (保极限 $\implies$ 层) 反过来，若 $F$ 保所有极限，把上式倒过来读：对每个 $R \in J(X)$，$F(X) \cong \varprojlim_{X' \in \mathcal{C}/R} F(X')$，而右边与 $\operatorname{Hom}(R, F)$ 同构（前面的计算），所以 $F$ 是层。∎

  证明短得出奇 —— 因为标准拓扑对覆盖筛的规定，本来就是「$X$ 是这些 $X'$ 的余极限」。所以「层」在拓扑斯上等于「把余极限送回极限」，几何与范畴在这里合成一句话。

定义引用 2

• 不交万有余积与次标准拓扑 用到 本页定义引用

  「次标准」是命题的关键假设。

• Giraud 定理 用到 本页定义引用

  第 2 条说的是对标准拓扑而言的层。

谁指向它（入边）

定义引用 3

• Grothendieck 拓扑 → 本页定义引用

  标准拓扑就是在所有拓扑里最细的那个（使可表示预层都是层）。

• 预层 → 本页定义引用

  次标准的判据是「可表示预层都是层」。

• 筛 → 本页定义引用

  标准拓扑是拿筛一条条规定出来的。