n实验室格罗森迪克前政治学

目录

这篇文章是关于政治前的地点。对于类似名称的泛化拓扑空间基于社区,请参见前政治空间.


目录

想法

A类格罗森迪克前政治学Grothendieck拓扑的基础是以下家族的集合态射在一个类别可以认为是盖子.

每个格罗森迪克前政治学都会产生一个真正的格罗森迪克拓扑不同的前拓扑可能会产生相同的拓扑。

一个比格罗森迪克前拓扑更弱的概念是新闻报道格罗森迪克前拓扑可以定义为同时满足两个额外饱和条件的覆盖范围。(请注意,最直接对应的是涵盖范围,而非政治前拓扑空间的基.

定义

见定义II.1.3 in新加坡黄金协会4

定义

C类C类成为类别.A型格罗森迪克前政治学基础(用于格罗森迪克拓扑)C类C类是对每个对象 U型U型属于C类C类一系列家庭{U型 U型}\{U_i\到U\}语态,称为覆盖家庭使得

  1. (以下条件下的稳定性基本更改.)覆盖家庭的集合在拉回:如果{U型 U型}\{U_i\到U\}是一个覆盖家庭(f):V(V)U型f:V\到U中有任何态射吗C类C类,然后{(f) *U型 V(V)}\{f^*U_i\到V\}存在并且是一个覆盖家庭;

  2. (成分下的稳定性。)如果{U型 U型} \{U_i\到U\}_{i\在i中}是一个覆盖家庭{U型 ,j个U型 } j个J型 \{U_{i,j}\到U_i}_{j\在j_i}中是覆盖族,然后也是复合材料族{U型 ,j个U型 U型} ,j个J型 \{U_{i,j}\到U_i\到U}_{i\在i中,j\在j_i}中是一个覆盖家庭。

  3. (同构涵盖。)每个家庭都由一个同构 {V(V)U型}\{V\stackrel{\cong}{\to}U\}是一个覆盖家庭;

如果我们放弃第二和第三个条件,我们会得到比a强一点的结果新闻报道; 在页面上新闻报道这个概念叫做笛卡尔覆盖相反,具有回调的类别上的每个覆盖都通过明显的闭包过程生成Grothendieck预拓扑。然而,实践中出现的许多保险实际上已经是格罗森迪克前政治保险。另一方面,对于非交换代数几何中的一些类似物,稳定性公理失败了。

定义

这个格罗森迪克拓扑C类C类 生成覆盖家庭的基础是筛子,筛子 {S公司 U型}\{从S_i到U\}如果它包含一个覆盖语态族,那么它就是精确覆盖。

属性

给定任何格罗森迪克拓扑C类C类,有一个最大基生成它的是:这正是作为覆盖族的那些语素族,它们在预合成完成后生成了一个覆盖筛。

示例

原型是关于开放子集范畴 操作(X(X))操作(X)拓扑空间 X(X)X(X),由打开盖子属于X(X)X(X).

给定拓扑的基础X(X)X(X),我们可以构建一个关于操作(X(X))操作(X)通过宣布一个家庭{U型 V(V)} \{U_i\到V\}_{i\在i}中如果是公开封面,则为每个i \在i中开集U型 单位(_i)V(V)V(V)和底座的一个元件。

如果我们提出更严格的要求U型 单位(_i)属于基础,则结果新闻报道不是一个前拓扑,因为这样一个覆盖族与任意开放子集的交集X(X)X(X)是一个开盖,其元件不必属于底座。

格罗森迪克政治前顶部包括:

类别示例差异流形的前拓扑溢流淹没所有这些都有由单态射组成的覆盖族。这种前政治学被称为单子前政治学(尤其是,它是一个单粒子覆盖).

一个示例新闻报道这不是政治前的报道良好的开启盖,继续说差异一般来说,一个好的开封的回撤只是一个开盖,不一定是所有有限的非空交集都是可压缩的。

工具书类

例如,定义显示为第111页的定义2

上次修订时间:2022年5月10日17:23:00。请参阅历史获取所有贡献的列表。