终映射给出的拓扑斯态射

谁指向它（入边）

推出 1

• 对象给出拓扑斯态射、拓扑空间上的常层就是离散空间的层 ⟹ 本页推出
  对象给出的拓扑斯态射 $\implies$ 终映射的情形

  取 $X \in \mathbf{Top}$ 与到单点的映射 $p : X \to \mathbf{1}$ ✓。沿 $p$ 的推前就是「在 $X$ 上取整体截面」$p_{*}\mathcal{F} = \Gamma(X, \mathcal{F})$ ✓；拉回把集合 $E$ 送到 $X$ 上的常层 $p^{-1}E = \widetilde{E}_{X}$ ✓（常层就是离散空间给出的层）。 再对连续映射 $f : Y \to X$ 用「拉回关于复合相容」：$q = p \circ f$ 给出 $\widetilde{E}_{Y} = q^{-1}E = f^{-1}p^{-1}E = f^{-1}\widetilde{E}_{X}$ ✓。∎

定义引用 1

• 拓扑斯的态射 → 本页定义引用

  结论是终映射给出的拓扑斯态射。