n实验室格罗森迪克前政治学
目录
这篇文章是关于政治前的地点。对于类似名称的泛化拓扑空间基于社区,请参见前政治空间.
上下文
地形理论
拓扑理论
背景
地形
内部逻辑
Topos形态
上同调与同伦
在高等范畴理论中
定理
目录
想法
A类格罗森迪克前政治学或Grothendieck拓扑的基础是以下家族的集合态射在一个类别可以认为是盖子.
每个格罗森迪克前政治学都会产生一个真正的格罗森迪克拓扑不同的前拓扑可能会产生相同的拓扑。
一个比格罗森迪克前拓扑更弱的概念是新闻报道格罗森迪克前拓扑可以定义为同时满足两个额外饱和条件的覆盖范围。(请注意,最直接对应的是涵盖范围,而非政治前拓扑空间的基.
定义
见定义II.1.3 in新加坡黄金协会4
定义
让成为类别.A型格罗森迪克前政治学或基础(用于格罗森迪克拓扑)在是对每个对象 属于一系列家庭语态,称为覆盖家庭使得
-
(以下条件下的稳定性基本更改.)覆盖家庭的集合在拉回:如果是一个覆盖家庭中有任何态射吗,然后存在并且是一个覆盖家庭;
-
(成分下的稳定性。)如果是一个覆盖家庭也是覆盖族,然后也是复合材料族是一个覆盖家庭。
-
(同构涵盖。)每个家庭都由一个同构 是一个覆盖家庭;
如果我们放弃第二和第三个条件,我们会得到比a强一点的结果新闻报道; 在页面上新闻报道这个概念叫做笛卡尔覆盖相反,具有回调的类别上的每个覆盖都通过明显的闭包过程生成Grothendieck预拓扑。然而,实践中出现的许多保险实际上已经是格罗森迪克前政治保险。另一方面,对于非交换代数几何中的一些类似物,稳定性公理失败了。
定义
这个格罗森迪克拓扑在 生成覆盖家庭的基础是筛子,筛子 如果它包含一个覆盖语态族,那么它就是精确覆盖。
属性
给定任何格罗森迪克拓扑在,有一个最大基生成它的是:这正是作为覆盖族的那些语素族,它们在预合成完成后生成了一个覆盖筛。
示例
原型是关于开放子集范畴 的拓扑空间 ,由打开盖子属于.
给定拓扑的基础在,我们可以构建一个关于通过宣布一个家庭如果是公开封面,则为每个开集是和底座的一个元件。
如果我们提出更严格的要求属于基础,则结果新闻报道不是一个前拓扑,因为这样一个覆盖族与任意开放子集的交集是一个开盖,其元件不必属于底座。
格罗森迪克政治前顶部包括:
类别示例差异流形的前拓扑溢流淹没所有这些都有由单态射组成的覆盖族。这种前政治学被称为单子前政治学(尤其是,它是一个单粒子覆盖).
一个示例新闻报道这不是政治前的报道良好的开启盖,继续说差异一般来说,一个好的开封的回撤只是一个开盖,不一定是所有有限的非空交集都是可压缩的。
工具书类
例如,定义显示为第111页的定义2
上次修订时间:2022年5月10日17:23:00。请参阅历史获取所有贡献的列表。