Wiki. “层意象” [层意象]

对拓扑空间 (或代数簇) $X$, 其上层的范畴 $\operatorname{Sh}(X)$ 是一个意象, 对于概形而言又叫Zariski 意象.