前辅文
第一章 拓扑
1.1 范畴1
1.2 集的拓扑
1.3 用态射定义的范畴的拓扑
1.4 用子函子定义的范畴的拓扑
1.5 用子范畴定义的范畴的拓扑
第二章 层
2.1 范畴2
2.2 预层
2.3 拓扑空间的层
2.4 预位形的层
2.5 位形的层
2.6 典范拓扑
2.7 拓扑与子预层范畴
第三章 层范畴
3.1 范畴3
3.2 预层范畴的态射
3.3 拓扑空间的层态射
3.4 预位形的态射
3.5 位形的态射
3.6 诱导拓扑
3.7 局部性质
第四章 Topos
4.1 Topos的定义
4.2 图的topos
4.3 子topos
4.4 纤维topos
4.5 本地
4.6 凝聚topos
4.7 初等topos
第五章 范畴补遗
5.1 小范畴
5.2 函子h
5.3 双函子
5.4 纤维范畴
5.5 序
5.6 逗号范畴
5.7 极限
5.8 上极限
5.9 单态射、满态射和等价关系
5.10 归对象与投对象
5.11 范畴的局部化
5.12 可达函子
第六章 Topos的定理证明
6.1 定理1.22的证明
6.2 第二章若干定理的证明
6.3 定理3.34的证明
6.4 第四章若干定理的证明
第七章 赋环topos模
7.1 数学结构
7.2 Topos的位形
7.3 赋环位形
7.4 模
7.5 模的粘贴
7.6 有限性条件
第八章 Topos的导出函子
8.1 导出函子的构造
8.2 Abel范畴的导出态射函子
8.3 交换环的模的张量积
8.4 非交换环上的张量积
8.5 内态射对象
8.6 像
8.7 模投射系统
8.8 模归纳系统
8.9 无穷小topos
8.10 1-topos
8.11 6 函子
8.12 同调简史
参考文献
名词索引
