引言 | 第1-10页 |
第一章 预备知识 | 第10-16页 |
1.1 连续Domain与Lawson拓扑 | 第10-13页 |
1.2 伴随函子与笛卡尔闭范畴 | 第13-16页 |
第二章 连续Domain的基数函数及其它问题 | 第16-32页 |
2.1 连续Domain的基与权 | 第16-20页 |
2.2 连续Domain的特征 | 第20-25页 |
2.3 连续Domain的浓度 | 第25-26页 |
2.4 连续Domain的开、闭遗传性及两个范畴的等价范畴 | 第26-32页 |
第三章 范畴SLP的满子范畴的笛卡尔闭性 | 第32-51页 |
3.1 稳定映射及稳定序的性质定理 | 第32-36页 |
3.2 分配Domain的定义及其笛卡尔闭性 | 第36-40页 |
3.3 SLP的满子范畴中的指数对象 | 第40-44页 |
3.4 Scott Domain上的强稳定映射及笛卡尔闭范畴的性质定理 | 第44-51页 |
第四章 完备格的谱理论与Sober化 | 第51-56页 |
4.1 Sober空间与Sober化 | 第51-52页 |
4.2 完备格的谱理论 | 第52-56页 |
总结 | 第56-57页 |
致谢 | 第57-58页 |
参考文献 | 第58-59页 |