Wiki. “大 Zariski 意象” [大Zariski意象]

大 Zariski 意象体现了 Grothendieck 的点函子哲学. 在 Grothendieck 看来, 一个概形就是一个从 $\mathsf {Ring}$ 到 $\mathsf {Set}$ 的函子.

另见 Zariski 意象.

使用经典概形理论的构造

使用经典概形理论, 基概形 $X$ 上的大 Zariski 意象 $\operatorname{Zar}(X)$ 可定义为 Grothendieck 景 $\mathsf {Sch}/X$ 上的层, 也即函子 $F\colon (\mathsf {Sch}/X)^{\text{op}} \to\mathsf {Set}$, 满足关于 Zariski 覆盖的粘合条件.