Giraud 定理

它指向谁（出边）

推出 1

• 本页 ⟹ Cond 是拓扑斯推出
  $\mathbf{CHaus}$ 是预拓扑斯 $\implies$ $\mathrm{Cond}$ 是拓扑斯

  用 Giraud 定理的第四条：造出「预层范畴 + 正合反射」就够了。

  取预层范畴 $\widehat{\mathbf{CHaus}}$，则 $\mathrm{Cond} = \widehat{\mathbf{CHaus}}$ 是它的反射子范畴（反射是层化），并且层化正合（保有限极限，前面的层与拓扑那一段已经证过）。所以 $\mathrm{Cond}$ 是拓扑斯。∎

  也可以直接验拓扑斯的四条公理，用的都是 $\mathbf{CHaus}$ 是预拓扑斯这一条：

  小生成元集。 层范畴由可表示预层生成，所以取全体自由紧 Hausdorff 空间 $\beta I$（在 $\mathrm{Cond}$ 里）作生成元集即可 —— 每个紧 Hausdorff 空间都有自由表示 $\beta S^{\mathrm{disc}} \twoheadrightarrow S$，于是每个可表示预层都被这些自由对象盖住。

  有限极限、余积、等价关系。 层范畴里的这些构造都是逐点算的（在 $\mathbf{CHaus}$ 上取极限/余积/商），所以它们的不交性、万有性、有效性都由 $\mathbf{CHaus}$ 的对应性质继承过来 —— 层化保有限极限与余极限，正好把结论从预层范畴运到层范畴。∎

  这就是整段路的终点：从「紧 Hausdorff 空间」这一件拓扑材料出发，造出了一个拓扑斯。

谁指向它（入边）

推出 1

• 拓扑斯、标准拓扑、生成元集、可表示性的下降 ⟹ 本页推出
  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)$：把一个抽象拓扑斯里的任意层，用小生成元集造一个覆盖，再用下降引理把「可表示」从覆盖的每一块传回整体。

定义引用 3

• 拓扑斯 → 本页定义引用

  Giraud 定理给出「是拓扑斯」的四个等价说法。

• 标准拓扑 → 本页定义引用

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

• 表示函子 → 本页定义引用

  第 2 条的关键词是「层都可表示」。