1. 概述
于 Topos 理论 中, 站点 是配备 Grothendieck 拓扑 的 范畴. 它为 层 提供抽象的覆盖环境.
2. 定义
定义 1 (站点)
设
为 范畴, 为 上的 Grothendieck 拓扑. 二元组 称为一个 站点.
3. 例子
例子 2 (拓扑空间给出的站点)
设
为 拓扑空间. 以 开集 构成的 偏序范畴 为底层范畴, 以开覆盖生成的覆盖筛构成 Grothendieck 拓扑, 得到 站点.
4. 相关性质
命题 3 (拓扑空间上的层可视为站点上的层)
证明 4 (拓扑空间上的层可视为站点上的层)
继承自 拓扑空间情形 对开覆盖生成的覆盖筛之特化.
5. 相关概念
6. 术语翻译
| 中文 | 英文 |
|---|---|
| 站点 | site |